Skip to content

Change references to master branch to main branch#452

Merged
jcreedcmu merged 1 commit intogithub:masterfrom
jcreedcmu:jcreed/master-to-main
Jun 17, 2020
Merged

Change references to master branch to main branch#452
jcreedcmu merged 1 commit intogithub:masterfrom
jcreedcmu:jcreed/master-to-main

Conversation

@jcreedcmu
Copy link
Copy Markdown
Contributor

I have already pushed main upstream pointing at the same commit as
master, so this PR should be safe to merge. To the best of my
knowledge all that's necessary after that is to change the
default branch
in https://github.com/github/vscode-codeql/settings/branches.

I have already pushed `main` upstream pointing at the same commit as
master, so this PR should be safe to merge. To the best of my
knowledge all that's necessary after that is to change the
default branch
in https://github.com/github/vscode-codeql/settings/branches.
@jcreedcmu
Copy link
Copy Markdown
Contributor Author

Fixes #453.

@jcreedcmu
Copy link
Copy Markdown
Contributor Author

@shati-patel anywhere else in docs we refer to specific urls starting from https://github.com/github/vscode-codeql/blob/master/ ? If so, could change them to https://github.com/github/vscode-codeql/blob/main/ . No great harm will come from not changing them yet --- not planning to delete the master branch yet, just deprecate.

@jcreedcmu jcreedcmu requested a review from shati-patel June 16, 2020 18:23
@aeisenberg
Copy link
Copy Markdown
Contributor

Note that we are also going to need to change the settings and add main as the default branch and add protections to it.

@jcreedcmu
Copy link
Copy Markdown
Contributor Author

Yes, that's what I meant with the link in the PR description

Copy link
Copy Markdown
Contributor

@shati-patel shati-patel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the ping! We have an issue to update the documentation 😃

@jcreedcmu jcreedcmu merged commit dd44bf7 into github:master Jun 17, 2020
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