Stream: git-wasmtime

Topic: wasmtime / PR #1276 Enable the "Subscribe to Label" githu...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2020 at 22:20):

fitzgen opened PR #1276 from subscribe-to-label to master:

This allows users to follow certain labels and automatically get @-mentioned
when they are applied to an issue or a pull request.

See https://github.com/bytecodealliance/subscribe-to-label-action for details.

Fixes #1234

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2020 at 22:20):

fitzgen requested peterhuene for a review on PR #1276.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2020 at 22:21):

peterhuene submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 10 2020 at 22:53):

fitzgen merged PR #1276.

Last updated: Oct 23 2024 at 20:03 UTC