Dan Gohman (Mar 25 2020 at 13:32): Dan Gohman (Mar 25 2020 at 13:32):Anyone know if there's a way to avoid having github-actions[bot] post a comment on every issue that anyone subscribes to?
Alex Crichton (Mar 25 2020 at 13:52):One thing I was thinking was that the bot could delete its own comment, but that doesn't make it less noisy for everyone else unfortunately. Other than that I'm not sure that github has the facilities to get the same functionality
Till Schneidereit (Mar 26 2020 at 10:41):It unfortunately doesn't, for now. I did some research on this, and then @fitzgen (he/him) did a lot more. You'd really think gh would've introduced a simple "subscribe to labels" by now ...
fitzgen (he/him) (Mar 26 2020 at 16:06):Unfortunately, if it doesn't post a comment, then the subscribers don't get notified :-/
I set up a gmail filter to auto delete any message from the bots where I'm not @-mentioned. Can share the filter if anyone is interested.
And we can always go back and remove the bot and force folks that only care about cranelift to get the full firehose :-/
Nathan Froyd (Mar 26 2020 at 19:25):please share the gmail filter! :thank_you:
fitzgen (he/him) (Mar 27 2020 at 16:01):Screenshot-from-2020-03-27-09-01-32.png
fitzgen (he/him) (Mar 27 2020 at 16:02):for emails that match that, I just have it auto-delete.
Benjamin Bouvier (Apr 01 2020 at 10:12):I really like the idea of having shorter messages for the bot. Could it be something like:
cc'ing @somebody @somebody_else <details> @somebody because of 'cranelift', 'fuzzing' @somebody_else because of 'wasmtime' </details>
If so, I'm happy to make the change!
fitzgen (he/him) (Apr 01 2020 at 15:48):sounds good to me -- probably still worth having a title (perhaps smaller) for gmail filterability, and also linking to the more info / docs / config.
Benjamin Bouvier (Apr 08 2020 at 07:58):And this now implemented!
Benjamin Bouvier (Apr 08 2020 at 07:59):But not active yet; version needs to be bumped and published, and bumped in the workflow file too, I guess: https://github.com/bytecodealliance/wasmtime/blob/master/.github/workflows/subscribe-to-label.yml#L15
Benjamin Bouvier (Apr 10 2020 at 14:13):@fitzgen (he/him) ping ^? Or should i make the change that the action should be pulled from the master branch instead of a fixed version number?
fitzgen (he/him) (Apr 10 2020 at 15:22):oh did you want me to do the release? I had assumed you were going to do it, but I'm fine doing it also @Benjamin Bouvier
Benjamin Bouvier (Apr 10 2020 at 15:26):@fitzgen (he/him) Oh well, I assumed I didn't have the authorizations to do the release, but maybe I can?
fitzgen (he/him) (Apr 10 2020 at 15:27):it is just merging into the v1 branch; I'm doing it now
Benjamin Bouvier (Apr 10 2020 at 15:27):Sorry, I didn't mean to bother you if I had known this!
Benjamin Bouvier (Apr 10 2020 at 15:27):And thank you!
fitzgen (he/him) (Apr 10 2020 at 15:27):and tagging the semantic version
no worries! should probably better doc this somewhere
fitzgen (he/him) (Apr 10 2020 at 15:28):oh, I did write docs: https://github.com/bytecodealliance/subscribe-to-label-action/blob/master/CONTRIBUTING.md#publishing-a-new-release
in the future, that should be all you have to do! :)
fitzgen (he/him) (Apr 10 2020 at 15:29):(and the new version is now published)
Benjamin Bouvier (Apr 10 2020 at 15:35):Thanks!
Last updated: Dec 23 2024 at 12:05 UTC