Danny Milosavljevic <dannym@scratchpost.org> writes:

> Hi Kei,
>
>> Never mind my other email... I see that the reason these are already on
>> master is because they were already pushed there. Feel free to close
>> these!
>
> Hehe yeah.  I wonder though: If I put "Fixes
> <https://bugs.gnu.org/xxxx>" into the commit log, does that mean that
> something (a cron job etc) actually marks the bug report as fixed?
> How often does that happen?

I'm not sure about the log-reading method you describe, but I know that
adding "-done" to the debbugs email closes the bug.

Example: xxxxx@debbugs.gnu.org --> xxxxx-done@debbugs.gnu.org