Updating a depth=1 git tree doesn't work, so just kill it and clone a new one