Skip to content
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

Remove references to master branch and use main instead #227

Merged
merged 1 commit into from
Oct 15, 2023
Merged

Remove references to master branch and use main instead #227

merged 1 commit into from
Oct 15, 2023

Conversation

strangelookingnerd
Copy link
Contributor

I noticed that there are still some references to the "master" branch that has been removed.
For the workflows this is not too important but the badges in the README were broken because of this.

Testing done

Checked if README renders badges correctly.

Submitter checklist

Preview Give feedback

@codecov
Copy link

codecov bot commented Oct 14, 2023

Codecov Report

Merging #227 (3a18e96) into main (3893571) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##               main     #227   +/-   ##
=========================================
  Coverage     50.00%   50.00%           
  Complexity       17       17           
=========================================
  Files             3        3           
  Lines            76       76           
  Branches          5        5           
=========================================
  Hits             38       38           
  Misses           31       31           
  Partials          7        7           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@uhafner
Copy link
Member

uhafner commented Oct 15, 2023

Thanks for fixing!

(I already have those changes locally. I am bulk changing those things using a script and global replace. And now I am stepping into each of my plugins to make the same transitions step by step...)

@uhafner uhafner added the documentation Enhancement of documentation label Oct 15, 2023
@uhafner uhafner merged commit 71d2c67 into jenkinsci:main Oct 15, 2023
24 of 25 checks passed
@strangelookingnerd strangelookingnerd deleted the fix_main_branch_references branch October 15, 2023 16:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Enhancement of documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants