1. 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
  2. 18 Apr, 2016 1 commit
  3. 13 Apr, 2016 1 commit
  4. 05 Mar, 2016 1 commit
  5. 23 Feb, 2016 1 commit
  6. 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
  7. 13 Feb, 2016 2 commits
  8. 11 Feb, 2016 1 commit
  9. 16 Jan, 2016 1 commit