We should talk about it. I'm not sure I understand how things work with your change. What effect does the git push really have on the HEAD commit? Seems to me that if you're currently in detached HEAD mode (e.g. from redeploying a previous change), then the HEAD will not move, and you'll end up ignoring a valid git push.