2022-09-02 23:45:01 +00:00
|
|
|
# github-webhook-filter
|
|
|
|
|
|
2022-09-03 21:18:23 +00:00
|
|
|
A webhook filter for [Deno](https://deno.land/) that filters GitHub webhook events before
|
2022-09-02 23:45:01 +00:00
|
|
|
forwarding them to a Discord webhook, reducing noise.
|
|
|
|
|
|
2022-09-03 21:18:23 +00:00
|
|
|
Ignores common bots and no-op events (which Discord ignores anyway) by default; additional options can be configured per URL:
|
2022-09-02 23:45:01 +00:00
|
|
|
|
2022-09-03 17:01:07 +00:00
|
|
|
- Only forward events from specific branches (`allowBranches`, comma-separated list)
|
|
|
|
|
- Ignore tag updates (`hideTags`)
|
|
|
|
|
- Ignore burst PR review comments in a short timespan, only showing the first x comments (`commentBurstLimit`)
|
