-
Notifications
You must be signed in to change notification settings - Fork 556
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
Rename "master" branch to "devel" #1890
Conversation
Signed-off-by: Niels de Vos <ndevos@redhat.com>
Signed-off-by: Niels de Vos <ndevos@redhat.com>
Signed-off-by: Niels de Vos <ndevos@redhat.com>
Thanks @nixpanic .. commitlint error out in this version of the patch. |
One other suggestion I have here is, imo, its good to document about this change for history with details on why we do that..etc. What do you think ? |
commitlint failed because it tries to use the |
That can be expanded in #1193 if you think that is not sufficient. I do not think we need to document it in the repository itself? |
Merging the PR manually |
@Mergifyio backport release-v3.2 |
Command
|
This PR renames all occasions of "master" to "devel" where the reference is relevant to Ceph-CSI.
Once this PR is merged, an admin of the GitHub project will need to rename the branch before next PRs can get merged. The GitHub documentation describes that all the existing PRs for the "master" branch will automatically be updated to the new "devel" branch.
A 2nd PR is filed to update the "ci/centos" branch (PR #1891), so that the CI jobs use the new branch name.
See-also: https://docs.github.com/en/github/administering-a-repository/renaming-a-branch
Updates: #1193
Show available bot commands
These commands are normally not required, but in case of issues, leave any of
the following bot commands in an otherwise empty comment in this PR:
/retest ci/centos/<job-name>
: retest the<job-name>
after unrelatedfailure (please report the failure too!)
/retest all
: run this in case the CentOS CI failed to start/report any testprogress or results