Someone overwrote the initial repos now I have to push again