Hi,
If you haven't done so already, you can ask infra to change the default branch 
of a repo.
Thanks,
Justin

Reply via email to