git: push HEAD automatically