githook

Filters useless Github events (bot pushes, state changes, etc) before forwarding to Discord, reducing noise.

See https://githook.tasky.workers.dev/.