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

maint: remove step from releasing #312

Merged
merged 1 commit into from
Oct 31, 2022
Merged

Conversation

vreynolds
Copy link
Contributor

Which problem is this PR solving?

  • version is not listed in public docs

version is not listed in public docs
@vreynolds vreynolds requested review from a team and emilyashley October 28, 2022 14:15
@vreynolds vreynolds self-assigned this Oct 28, 2022
@vreynolds vreynolds added type: documentation Improvements or additions to documentation version: no bump A PR with maintenance or doc changes that aren't included in a release. no-changelog Omit this PR from changelog/release notes. merge at will Reviewer can merge the PR once reviewed. labels Oct 28, 2022
@MikeGoldsmith MikeGoldsmith merged commit 7c91952 into main Oct 31, 2022
@MikeGoldsmith MikeGoldsmith deleted the vera.remove-docs-update-step branch October 31, 2022 12:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge at will Reviewer can merge the PR once reviewed. no-changelog Omit this PR from changelog/release notes. type: documentation Improvements or additions to documentation version: no bump A PR with maintenance or doc changes that aren't included in a release.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants