misc/commit-repo.pl: commit a repository to the main repositories...