Making sure everything is synced with github