crowbar/crowbar — pull request #1710 by aspiers (2013-02-19 19:55:43+00:00)
Title: Add --skip-sync to ./dev pull-requests-prep, and other tiny tweaks

--skip-sync allows much quicker re-runs of pull-requests-prep if sync has already been run recently. I also tweaked a few other tiny things whilst reading the code.