Add command to push merged repo to GitHub