Use the public PAT for the repo-sync mirror push (#7623)