add script for pushing sources to github