Hello, It would be convenient (for me, at least) to have a server-side git hook that can close debbugs issues. It would grep the commit message for '^Fixes: <https://bugs\\.gnu\\.org/(\d+)>' and automatically send an email to cont...@debbugs.gnu.org with the message 'close $1 $commit_id'.
Is this something that we want and can deploy?
signature.asc
Description: PGP signature
