HTTPS SSH

Various scripts for bot work at Wikimedia Foundation projects