[00:17:36] <wikibugs>	 10WM-Bot: Implement Short URL for wm-bot GitHub notifications - https://phabricator.wikimedia.org/T181311#3790980 (10Matthewrbowker) https://github.com/blog/985-git-io-github-url-shortener  It appears to be possible to create git.io links using a cURL command.  It might delay the bot slightly as it fetches these...
[01:59:59] <WhitePhosphorus>	 @seen petan
[01:59:59] <wm-bot>	 WhitePhosphorus: Last time I saw petan they were quitting the network with reason: Ping timeout: 264 seconds N/A at 11/27/2017 7:17:10 PM (6h42m49s ago)