Remove remnants of the old git pushing thingy.