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 control@debbugs.gnu.org with the message 'close $1 $commit_id'.

Is this something that we want and can deploy?