Quieter output from github_catchup.