Stream: git-wasmtime

Topic: wasmtime / PR #1273 Automatically label pull requests bas...

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

fitzgen opened PR #1273 from auto-label-prs to master:

Part of #1234

Next I'll create an action on the "labeled" event that leaves a comment CC'ing folks who have configured themselves to be CC'd for a given label.

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

peterhuene submitted PR Review.

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

peterhuene created PR Review Comment:

Can we get one for the c-api?

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

fitzgen submitted PR Review.

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

fitzgen created PR Review Comment:

Sure, yeah I must have missed it!

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

fitzgen updated PR #1273 from auto-label-prs to master:

Part of #1234

Next I'll create an action on the "labeled" event that leaves a comment CC'ing folks who have configured themselves to be CC'd for a given label.

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

peterhuene submitted PR Review.

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

alexcrichton merged PR #1273.

Last updated: Oct 23 2024 at 20:03 UTC