Commit 3fbd7485d8a100f55b02132096d3ff66d390999a

Philip Kelley 2013-01-24T11:03:11

Merge pull request #1250 from jamill/push_update_tips Update remote tips on push