So git doesn't get confused about nested repos