Hi Steve,

If I push to the ET website repo, does it automatically get reflected on the web?  Or do I need to click the button on

http://einsteintoolkit.org/update.php

?

What else does that button do?

-- 
Ian Hinder
http://members.aei.mpg.de/ianhin