Closed minrk closed 1 year ago
This is the simpler proposal in #1570, without the browser redirect, which I think has more moving parts (need to compute new URL somewhere, handle communicating updated spec from server to browser, etc.)
Is the idea to only do this for GitHub but not GitLab because GitHub is where problems are most likely to occur?
That's what we've been doing, but we can probably expand it to other providers, too, if we want.
If 'master' or 'main' fail to resolve, try again with 'HEAD' after a delay.
this keeps outdated links to renamed default branches working for the big master->main migration
closes #1570