This code path doesn't get called during git push. I suspect that's why the fix doesn't work for the scenario in the bug. :(