-
Notifications
You must be signed in to change notification settings - Fork 370
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Drop master branch? #3121
Comments
It was discussed, and the decision was to keep it as there was no harm of keeping it (in particular it is not installable any more). But I would be OK to delete |
I can see you wanted to keep it (maybe) at the time, but it's 2+ years old by now, so what would be the point of keeping it? At some point I thought "master" was some magic in git, but it's just another branch(?) and I see branches being deleted all the time. I .e. I think it could be ok, and by now just a footgun. |
I also get confused at times when I do |
OK. So let us remove it. @nalimilan - first you need to change target of your PR #2491 (or close it) and then |
OK, changed. |
Thank you. I have removed |
This worked:
The text was updated successfully, but these errors were encountered: