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 updates #80

Merged
merged 1 commit into from
Jul 8, 2024
Merged

README updates #80

merged 1 commit into from
Jul 8, 2024

Conversation

jaybosamiya-ms
Copy link
Collaborator

  • Remove old warning, now that verusfmt is successfully being used (and also under CI) for multiple projects, I don't think that the strong warning up-front is warranted anymore
  • Explicitly recommend pre-built binaries which are faster to get, support easy updating, etc.
  • Remove the instructions for "bleeding-edge" since our release cadence is best suited to folks actually picking up releases. If we need someone to test a specific branch, we can just direct them to try that branch directly instead, but for the most part, I don't think it makes sense for folks to pull from main directly anymore.

@jaybosamiya-ms
README improvements
51c0c14 
- Remove old warning, now that verusfmt is successfully being used (and
  also under CI) for multiple projects
- Explicitly recommend pre-built binaries
@jaybosamiya-ms jaybosamiya-ms requested a review from parno July 5, 2024 22:35
@jaybosamiya-ms jaybosamiya-ms enabled auto-merge (squash) July 5, 2024 22:35
parno
parno approved these changes Jul 8, 2024
View reviewed changes
Copy link
Contributor

@parno parno left a comment

Choose a reason for hiding this comment

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

Looks like a reasonable set of updates to me.

@jaybosamiya-ms jaybosamiya-ms merged commit 5e1dc17 into main Jul 8, 2024
8 checks passed
@jaybosamiya-ms jaybosamiya-ms deleted the readme-improvements--037 branch July 8, 2024 14:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@parno parno parno 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
@jaybosamiya-ms @parno