Skip to content

Migrate to main as the default branch name#262

Merged
LawnGnome merged 1 commit intomasterfrom
aharvey/main
Aug 21, 2020
Merged

Migrate to main as the default branch name#262
LawnGnome merged 1 commit intomasterfrom
aharvey/main

Conversation

@LawnGnome
Copy link
Copy Markdown
Contributor

@LawnGnome LawnGnome commented Aug 10, 2020

This brings src-cli into line with our other important repositories. I don't believe we have any other hardcoded references to src-cli's master branch across our organisation, based on this search. There now is: https://github.com/sourcegraph/sourcegraph/pull/13228 will fix that, once this is merged.

Process wise, here's how I intend to proceed after approval:

  1. Merge this PR.
  2. Push master to main.
  3. Update the default branch in the repo settings to main.
  4. Edit open PRs to be against main instead of master.

If I've missed anything, I'd definitely appreciate a heads up! 😃

@unknwon unknwon requested a review from mrnugget August 11, 2020 02:12
@keegancsmith
Copy link
Copy Markdown
Member

@LawnGnome this is what I did for our main repo, maybe a little more involved than needed for this repo: https://github.com/sourcegraph/sourcegraph/pull/11453#issuecomment-668170783

There is also a useful script to automate the update of open PRs: https://github.com/sourcegraph/sourcegraph/pull/11453#issuecomment-669041714

LawnGnome added a commit to sourcegraph/sourcegraph-public-snapshot that referenced this pull request Aug 21, 2020
@LawnGnome LawnGnome merged commit 3b630c7 into master Aug 21, 2020
LawnGnome added a commit to sourcegraph/sourcegraph-public-snapshot that referenced this pull request Aug 21, 2020
@keegancsmith keegancsmith deleted the aharvey/main branch November 11, 2025 20:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants