fix pushing of files to github