chdir $module_repo_dir;
system("git push github") == 0
    or warn "Couldn't send to GitHub: $! / $?";