1. 09 May, 2017 1 commit
  2. 13 Mar, 2017 1 commit
  3. 22 Feb, 2017 1 commit
  4. 15 Feb, 2017 2 commits
  5. 07 Feb, 2017 1 commit
  6. 18 May, 2016 1 commit
    • Ian Hickson's avatar
      Try to simplify our bot setup. (#3986) · 942ccc5c
      Ian Hickson authored
      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.
      942ccc5c
  7. 18 Apr, 2016 1 commit
  8. 13 Apr, 2016 1 commit
  9. 05 Mar, 2016 1 commit
  10. 23 Feb, 2016 1 commit
  11. 14 Feb, 2016 1 commit
    • Adam Barth's avatar
      Fix infra docs · 89e0dac9
      Adam Barth authored
      Previously we had the wrong path to the recipes.py script and an incorrect argument list.
      89e0dac9
  12. 13 Feb, 2016 2 commits
  13. 11 Feb, 2016 1 commit
  14. 16 Jan, 2016 1 commit