repo_sync_and_mail: update description in comments