Pushing a lot of files which got missed by the GitHub program