3 commits

Author	SHA1	Message	Date
Robert Hönig	fefe869748	Restructure contrib_bots bots to new layout. ... In order to make the layout of all bots consistent, this commit moves each bot into a folder with its name and modifies 'run.py' so that only bots with such a structure can be executed. 'lib' gets renamed to 'bots'.	2017-01-22 05:42:46 -08:00
Vamshi Balanaga	da256ef854	Modify GitHub comment bot to use new authentication module, and edit documentation accordingly.	2016-12-27 11:58:36 -08:00
andrewallen00	e2ed990746	interactive bots: Create comment on issue GitHub bot. ... interactive bots: Create comment on issue GitHub bot. interactive bots: Create comment on issue GitHub bot. interactive bots: Create comment on issue GitHub bot. interactive bots: Create comment on issue GitHub bot.	2016-12-17 16:33:08 -08:00