merging PR Chaosthebot#7

Chaosthebot#7

PR passed with a vote of 35 for and 1 against, with a 
weighted total of 19.0 and a threshold of 1.0.

Vote record:
@Ameliorate: 1
@Boudewijn26: 1
@Cameron27: 1
@Cellcote: 1
@DelusionalLogic: 1
@ECrownofFire: 1
@jkillian: 1
@Jos635: 1
@Maistho: 1
@NPException: 1
@QWERTYman2020: 1
@Sag0Sag0: 1
@TimvdLippe: 1
@Tunous: 1
@agargiulo: 1
@ajn0592: 1
@amoffat: 1
@camd67: 1
@cincodenada: 1
@cwire4: 1
@daywaves: 1
@demiters: 1
@evanzeller: 1
@fbontin: 1
@howdoicomputer: 1
@jabbink: 1
@jgrigonis: 1
@jordanrinke: 1
@lancepioch: 1
@naure: 1
@nepeat: 1
@odensc: -1
@tswaters: 1
@vadi2: 1
@vivekzhere: 1
@xfix: 1

chaos.py

@@ -15,7 +15,6 @@
 import github_api.repos
 import github_api.comments
 from github_api import exceptions as gh_exc
-import platform
 
 import patch
 
@@ -78,10 +77,6 @@ def restart_self():
                     gh.prs.label_pr(api, settings.URN, pr_num, ["can't merge"])
                     continue
 
-                # Comment on the pr with the OS so we can eventually install cowsay and comment with that
-                dist, version, codename = platform.linux_distribution()
-                gh.comments.leave_comment(api, settings.URN, pr_num, dist+' '+version+' '+codename)
-
                 gh.prs.label_pr(api, settings.URN, pr_num, ["accepted"])
                 needs_update = True