Fix problem that could prevent push from working

* Could be related to issues seen by various testers

Change-Id: I9f70f20b3c52347b38468ca2b82ede7b46c39fa1
1 file changed