Revert "removed git push configuration"

This reverts commit 7b45f94d38f4211fdfe38fe9c631c8c270ac3620.