Push to github to ensure uptodate