NixOS / ofborg

@ofborg tooling automation https://monitoring.ofborg.org/dashboard/db/ofborg

Home Page:https://ofborg.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Ping maintainers when they get removed

piegamesde opened this issue · comments

Currently, the maintainer pings are based on the state of the PR, not on the state prior to the PR. This means that people can be removed as maintainers from a package without getting pinged.