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.

Sign up for GitHub

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

Jump to bottom

README.md: Add Terra RPM repo instructions #1566

Merged
merged 2 commits into from
Aug 19, 2024
Merged

README.md: Add Terra RPM repo instructions #1566

merged 2 commits into from
Aug 19, 2024

Conversation

woodsb02
Copy link
Contributor

Description

Update README.md to add new Terra RPM repository instructions for installs on Fedora / CentOS / AlmaLinux / Rocky Linux

Checklist

If relevant, ensure the following have been met:

  • Areas your change affects have been linted using rustfmt (cargo fmt)
  • The change has been tested and doesn't appear to cause any unintended breakage
  • Documentation has been added/updated if needed (README.md, help menu, doc pages, etc.)
  • The pull request passes the provided CI pipeline
  • There are no merge conflicts
  • If relevant, new tests were added (don't worry too much about coverage)

ClementTsang
ClementTsang approved these changes Aug 19, 2024
View reviewed changes
Copy link
Owner

@ClementTsang ClementTsang left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for this.

@ClementTsang
Copy link
Owner

@all-contributors please add @woodsb02 for docs.

@allcontributors allcontributors bot mentioned this pull request Aug 19, 2024
Merged
@allcontributors AllContributors
Copy link
Contributor

@ClementTsang

I've put up a pull request to add @woodsb02! 🎉

@ClementTsang ClementTsang enabled auto-merge (squash) August 19, 2024 14:55
@ClementTsang ClementTsang merged commit 74ae124 into ClementTsang:main Aug 19, 2024
12 checks passed
@woodsb02
Copy link
Contributor Author

Thanks for the quick merge 👍

@woodsb02 woodsb02 deleted the patch-2 branch August 19, 2024 14:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ClementTsang ClementTsang ClementTsang approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@woodsb02 @ClementTsang