Skip to content
This repository was archived by the owner on Jun 13, 2023. It is now read-only.

Switch CI to main branch #241

Merged
merged 1 commit into from
Nov 27, 2020
Merged

Switch CI to main branch #241

merged 1 commit into from
Nov 27, 2020

Conversation

cbaker6
Copy link
Contributor

@cbaker6 cbaker6 commented Nov 21, 2020

Hey @TomWFox, can you switch the default branch and the branch protections before approving this PR?

@TomWFox
Copy link
Contributor

TomWFox commented Nov 22, 2020

We had discussed waiting to change more popular repos until GitHub allows a 'seamless transition' to alleviate any issues with clones etc. I would say this repo comes into that bracket?

@cbaker6
Copy link
Contributor Author

cbaker6 commented Nov 22, 2020

We can wait on this one. I did it on here because it doesn’t seem like many changes, issues, and PRs occur on this repo. It does have a decent number for stars and forks

@cbaker6 cbaker6 closed this Nov 22, 2020
@cbaker6 cbaker6 reopened this Nov 22, 2020
@TomWFox
Copy link
Contributor

TomWFox commented Nov 22, 2020

Yeah, there isn't much activity. My main concern is causing issues with people trying to contribute (it may be largely a non issue).

From the GitHub guidance it says...

we’re also looking into redirecting users who git fetch or git clone the old branch name to the new branch name (with a warning and instructions to update their local clone), so it’s easy for your contributors to move

I'm guessing if you did git fetch or git clone on the old branch name it would just say that it failed because the branch doesn't exist and then it would break pretty easy for someone to check the repo and see the new main branch. But I don't know if that is that case which is why I'm hesitant.

@cbaker6
Copy link
Contributor Author

cbaker6 commented Nov 22, 2020

I'm guessing if you did git fetch or git clone on the old branch name it would just say that it failed because the branch doesn't exist and then it would break pretty easy for someone to check the repo and see the new main branch. But I don't know if that is that case which is why I'm hesitant.

In these cases, the user would still be okay because if they ran git fetch on the remote it fetches updates for all branches, giving them the main branch. If they still have master locally they can still create a PR from there into upstream main. If they are doing git clone the link from GitHub would point to main

@TomWFox
Copy link
Contributor

TomWFox commented Nov 26, 2020

I guess though that assumes they know that the repo has switched the default branch to main - hence this comment from GitHub...

(with a warning and instructions to update their local clone), so it’s easy for your contributors to move

@cbaker6
Copy link
Contributor Author

cbaker6 commented Nov 27, 2020

I figured if a contributor plans to make an update they would first attempt to get the latest up-to-date code by fetching/pulling. At that time if they are fetching/pulling the master branch, there wouldn’t be anything there and I assume they will get an error. My guess is they will then go to the github repo page and the “main” branch will be the default. Even if they submit a PR from their old “master” branch, it would default to the new “main” branch.

@TomWFox
Copy link
Contributor

TomWFox commented Nov 27, 2020

I've switched it, the risk to contribution does seem very low.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants