Please add information about where to find the pull request closing robot and bug report URLs to pull request closing messages
Submitted by Till Maas
Assigned to GNOME Sysadmins
Link to original bug (#776691)
Description
https://github.com/GNOME/pinpoint/pull/3#issuecomment-264829564
is a message the a robot closed my pull request but it does not say where to find the robots source code or where to report bugs. I found
https://wiki.gnome.org/Sysadmin/GitHub
which states that the git repo name corresponds to the Bugzilla product, however I only found the product "sysadmin", but the repo is called "sysadmin-bin":
https://git.gnome.org/browse/sysadmin-bin/tree/close_pull_requests.py
Also a direct link to the robot python script on
https://wiki.gnome.org/Sysadmin/GitHub
would be nicer so one does not need to search for the python script there.
Additionally it would be great if the message just contained a link to file the bug report in bugzilla, e.g.
https://bugzilla.gnome.org/enter_bug.cgi?product=pinpoint
in my case.