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

Update remote tips on push
Leak cleanup in push tests