andreasgal/gaia — pull request #1183 by jlebar (2012-04-10 05:21:13+00:00)
Title: Make install-gaia much faster when you don't have much to push

This is super-ugly, but it's a difference of 6s versus 45s on my machine.

I tried to avoid linux-isms, but someone needs to test on mac.