pushing to github to delete local repo