Revert "Another git fix"

This reverts commit 1e141716aa6a0b4aefaa50eecd94bc0ccb247007.