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

rm: unnecessary vuepress file #5151

Merged
merged 1 commit into from
Nov 21, 2023
Merged

rm: unnecessary vuepress file #5151

merged 1 commit into from
Nov 21, 2023

Conversation

colin-axner
Copy link
Contributor

Description

Vuepress config file got added back accidentally with 08-wasm

closes: #XXXX

Commit Message / Changelog Entry

type: commit message

see the guidelines for commit messages. (view raw markdown for examples)


Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.

  • Targeted PR against correct branch (see CONTRIBUTING.md).
  • Linked to Github issue with discussion and accepted design OR link to spec that describes this work.
  • Code follows the module structure standards and Go style guide.
  • Wrote unit and integration tests.
  • Updated relevant documentation (docs/) or specification (x/<module>/spec/).
  • Added relevant godoc comments.
  • Provide a commit message to be used for the changelog entry in the PR description for review.
  • Re-reviewed Files changed in the Github PR explorer.
  • Review Codecov Report in the comment section below once CI passes.

@github-actions github-actions bot added the docs Improvements or additions to documentation label Nov 21, 2023
@colin-axner colin-axner enabled auto-merge (squash) November 21, 2023 16:07
@colin-axner colin-axner merged commit 84ede5b into main Nov 21, 2023
19 checks passed
@colin-axner colin-axner deleted the colin/rm-vuepress-file branch November 21, 2023 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants