small changes to github syncing