Stream: git-wasmtime

Topic: wasmtime / Issue #1234 Set up bot like Servo's @highfive ...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 05 2020 at 17:42):

fitzgen opened Issue #1234:

The @highfive bot lets people opt into getting @-mentioned whenever a pull request modifies files in some configured subdirectory. This would allow, for example, folks only interested in Cranelift stuff to not follow the whole repo and all of its issue emails, but still get notified of changes that affect Cranelift.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 05 2020 at 17:55):

bjorn3 commented on Issue #1234:

It would also be nice to get a notification for issues labeld cranelift. Will the bot @-mention be opt-in for everyone, including people who haven't every contributed to Cranelift in any way?

view this post on Zulip Wasmtime GitHub notifications bot (Mar 05 2020 at 17:55):

bjorn3 edited a comment on Issue #1234:

It would also be nice to get a notification for issues labeled cranelift. Will the bot @-mention be opt-in for everyone, including people who haven't every contributed to Cranelift in any way?

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

fitzgen commented on Issue #1234:

Will the bot @-mention be opt-in for everyone, including people who haven't every contributed to Cranelift in any way?

It is on a user-by-user basis. For servo, you send a PR to a repo that holds all the configuration for the bot and add yourself and the subdirectories you're interested in.

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

tschneidereit commented on Issue #1234:

Relatedly, we can also set up a GitHub Action to auto-label pull requests based on changed files: https://github.com/actions/labeler/blob/master/README.md

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

kubkon commented on Issue #1234:

However we decide to tackle this, it's a much welcomed change given the increased scope of the repo!

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2020 at 17:02):

fitzgen commented on Issue #1234:

I created a user for our highfive bot: @bytecodealliance-highfive

and I forked the rust-lang/highfive repo: https://github.com/bytecodealliance/highfive

The next steps would be to

  1. Replace the rust configs with our own configs.
  2. Add @bytecodealliance-highfive as an admin on relevant repos (mostly this one).
  3. Start running the bot on some server somewhere and add a webhook for this repo that points at it.

I can't do those last two steps myself.

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

fitzgen commented on Issue #1234:

Looking into this some more, I think a collection of github actions is the way to go. I'll start submitting PRs in this direction.

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

fitzgen closed Issue #1234:

The @highfive bot lets people opt into getting @-mentioned whenever a pull request modifies files in some configured subdirectory. This would allow, for example, folks only interested in Cranelift stuff to not follow the whole repo and all of its issue emails, but still get notified of changes that affect Cranelift.


Last updated: Dec 23 2024 at 12:05 UTC