Stream: git-wasmtime

Topic: wasmtime / PR #1304 Re enable subscribe to label action a...

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

fitzgen opened PR #1304 from re-enable-subscribe-to-label-action-and-more-bot-configs to master:

I fixed the subscribe-to-label bot so it won't be spammy anymore. Time to re-enable it.

I also fixed up and expanded a bunch of the automatic labeling configuration.

See individual commits for details.

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

fitzgen requested pchickey for a review on PR #1304.

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

alexcrichton submitted PR Review.

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

fitzgen merged PR #1304.

Last updated: Oct 23 2024 at 20:03 UTC