Stream: git-wasmtime

Topic: wasmtime / PR #13494 chore: fix duplicated words in pulle...

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2026 at 07:35):

vip892766gma opened PR #13494 from vip892766gma:chore/fix-duplicated-words-in-pulley-debugger-and-pagemap-doc-comm-741627 to bytecodealliance:main:

Signed-off-by: Aiden Park <275402320+vip892766gma@users.noreply.github.com>

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2026 at 07:35):

vip892766gma requested pchickey for a review on PR #13494.

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2026 at 07:35):

vip892766gma requested wasmtime-core-reviewers for a review on PR #13494.

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2026 at 07:35):

vip892766gma requested fitzgen for a review on PR #13494.

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2026 at 07:35):

vip892766gma requested wasmtime-default-reviewers for a review on PR #13494.

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2026 at 08:10):

tschneidereit commented on PR #13494:

While we appreciate contributions, they come at a cost to the maintainers. That's why the Wasmtime project isn't accepting PRs consisting of purely trivial changes, such as non-functional spelling issues.

Instead, please roll these into the next more substantial PR you open. Thank you!

view this post on Zulip Wasmtime GitHub notifications bot (May 27 2026 at 08:11):

:cross_mark: tschneidereit closed without merge PR #13494.

Last updated: Jun 01 2026 at 09:49 UTC