Stream: git-wasmtime

Topic: wasmtime / PR #7571 Viktar/rename labels

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 16:58):

MCJOHN974 opened PR #7571 from near:viktar/rename-labels to bytecodealliance:main:

Fixes #98

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 16:58):

MCJOHN974 requested abrown for a review on PR #7571.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 16:58):

MCJOHN974 requested wasmtime-compiler-reviewers for a review on PR #7571.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 16:58):

MCJOHN974 requested pchickey for a review on PR #7571.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 16:58):

MCJOHN974 requested wasmtime-core-reviewers for a review on PR #7571.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 16:58):

MCJOHN974 requested wasmtime-default-reviewers for a review on PR #7571.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 22 2023 at 16:58):

MCJOHN974 closed without merge PR #7571.

Last updated: Dec 13 2025 at 19:03 UTC