Making sure the github has all of this project, even though this isn't the working repository any more