mozilla/pdf.js — pull request #1444 by arturadib (2012-03-29 16:23:20+00:00)
Title: New files for Windows bot

These changes enable the new Windows bot to work with our repo.

The relevant repos are:

+ https://github.com/arturadib/botio - where the main bot code lives
+ https://github.com/mozilla/botio-files-pdfjs - where the PDF.js bot scripts live

I've set things up so that anyone (who's in Github's pdfjs team) can change the scripts directly from the Github interface for the botio-files-pdfjs repo - the bot will automatically update itself upon every commit to that repo. (Technically there are two bots: one for monitoring the PDF.js repo, another for monitoring the Botio scripts).

I haven't set up gh-pages yet because I don't want the new bot to 'compete' with the Linux bot.

Once we're comfortable with this new bot we can take down the old one.