3 Commits

Author	SHA1	Message	Date
Dan Field	aeccd20697	Revert "remove unused script (#37714)" (#37730) ... This reverts commit aa2c93f8c460d878387c7c24f717141254e1ecac.	2019-08-06 16:17:56 -07:00
Dan Field	aa2c93f8c4	remove unused script (#37714)	2019-08-06 15:58:07 -07:00
Ian Hickson	942ccc5cb0	Try to simplify our bot setup. (#3986) ... This moves all the bot-related files to `dev/bots`, hiding it from our home page in github. Also, simplifies the travis setup, though that doesn't do any difference to the performance sadly.	2016-05-18 11:38:45 -07:00