fixed and tested git auto-pull&push

Summary: Change-Id: I01588b259dbdc673173599b454834ee0f5cb9c96

Test Plan: check

Reviewers: cprodescu

Reviewed By: cprodescu

Differential Revision: http://phab.code4fun.de/D20

Change-Id: I53c047e61bf3c2bb365900ab2f6948937455dfdd