Stream: git-wasmtime

Topic: wasmtime / PR #1296 Run the subscribe-to-label action on ...

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

fitzgen opened PR #1296 from schedule-subscribe-to-label to master:

Ideally, this would be on "labeled" types of pull request events, but that
doesn't work if the pull request is from another fork. For example, see
https://github.com/actions/labeler/issues/12

Note that the issue labeled events work fine, and this is only for pull requests.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 12 2020 at 15:49):

alexcrichton merged PR #1296.

Last updated: Nov 22 2024 at 17:03 UTC