Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Update to v0.5.0 #78

Merged
merged 3 commits into from
Oct 20, 2022
Merged

Update to v0.5.0 #78

merged 3 commits into from
Oct 20, 2022

Conversation

petreeftime
Copy link
Collaborator

This addresses #77, but might require adjustments to fit org best practices, if any are set.

Signed-off-by: Petre Eftime <petre.eftime@gmail.com>
Signed-off-by: Petre Eftime <petre.eftime@gmail.com>
Signed-off-by: Petre Eftime <petre.eftime@gmail.com>
@petreeftime
Copy link
Collaborator Author

bors merge

bors bot added a commit that referenced this pull request Oct 20, 2022
78: Update to v0.5.0 r=petreeftime a=petreeftime

This addresses #77, but might require adjustments to fit org best practices, if any are set.

Co-authored-by: Petre Eftime <petre.eftime@gmail.com>
@petreeftime
Copy link
Collaborator Author

I'll open up a following PR to clarify the exact steps to follow for a release of this repo, but it would be nice if @rust-cli org just had a guide that was applied to all repos.

@bors
Copy link
Contributor

bors bot commented Oct 20, 2022

Build failed:

@petreeftime
Copy link
Collaborator Author

bors retry

Seems like it had a network failure for clippy.

@bors
Copy link
Contributor

bors bot commented Oct 20, 2022

Build succeeded:

@bors bors bot merged commit 69171fa into rust-cli:master Oct 20, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants