Can we use the origin URL of the repo here instead? Theoretically a user could have their ‘master’ repo point elsewhere.