Hugo 雨果 on Nostr: Consider leaving a "Closes: http://path/to/pr" in the commit description. This will ...

Consider leaving a "Closes: http://path/to/pr"; in the commit description. This will close the PR and automatically leave a comment on it. Someone looking at commits also has a clear way to find out context/discussion.