Update repo_sync_and_mail.py