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

ci/docs: Update master references to main #1190

Merged
merged 6 commits into from
Sep 7, 2022
Merged

Conversation

thanethomson
Copy link
Contributor

Part of the work towards #1168. I noticed that I forgot to update some branch references in CI, and then we needed some of the Tendermint documentation links cleaned up. There were also a bunch of remaining links to the master branch in tendermint-rs that needed to be pointed to main.

  • Referenced an issue explaining the need for the change
  • Updated all relevant documentation in docs
  • Updated all code comments where relevant
  • Wrote tests
  • Added entry in .changelog/

@codecov-commenter
Copy link

codecov-commenter commented Sep 6, 2022

Codecov Report

❗ No coverage uploaded for pull request base (main@21e056c). Click here to learn what that means.
The diff coverage is n/a.

@@          Coverage Diff           @@
##             main   #1190   +/-   ##
======================================
  Coverage        ?   67.5%           
======================================
  Files           ?     214           
  Lines           ?   20480           
  Branches        ?       0           
======================================
  Hits            ?   13830           
  Misses          ?    6650           
  Partials        ?       0           

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

@thanethomson thanethomson force-pushed the thane/docs-master-main branch from 36e91b4 to 4c3ecf2 Compare September 6, 2022 23:48
@thanethomson thanethomson merged commit 8871323 into main Sep 7, 2022
@thanethomson thanethomson deleted the thane/docs-master-main branch September 7, 2022 00:24
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.

2 participants