Wasmtime GitHub notifications bot (Jun 07 2023 at 19:28): Wasmtime GitHub notifications bot (Jun 07 2023 at 19:28):alexcrichton opened PR #6539 from alexcrichton:clean-gh-pages-branch to bytecodealliance:main:
No need to retain a full history of this branch as it's purely a function of the latest commit, so configure some options to throw away its history.
<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
Wasmtime GitHub notifications bot (Jun 07 2023 at 19:28):alexcrichton has marked PR #6539 as ready for review.
Wasmtime GitHub notifications bot (Jun 07 2023 at 19:28):alexcrichton requested elliottt for a review on PR #6539.
Wasmtime GitHub notifications bot (Jun 07 2023 at 19:28):alexcrichton requested wasmtime-default-reviewers for a review on PR #6539.
Wasmtime GitHub notifications bot (Jun 07 2023 at 20:59):elliottt submitted PR review:
:fire:
Wasmtime GitHub notifications bot (Jun 12 2023 at 18:56):alexcrichton merged PR #6539.
Last updated: Oct 23 2024 at 20:03 UTC