Commit graph

2 commits

Author SHA1 Message Date
Ian Hickson 9a0a69ee63 Git ignore new temporary files in dev/bots (#8033) 2017-02-09 14:29:19 -08: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
Renamed from infra/.gitignore (Browse further)