[Bug 776691] New: Please add information about where to find the pull request closing robot and bug report URLs to pull request closing messages

["sysadmin" (GNOME Bugzilla) <bugzilla gnome org>]

Bug ID	776691
Summary	Please add information about where to find the pull request closing robot and bug report URLs to pull request closing messages
Classification	Infrastructure
Product	sysadmin
Version	unspecified
OS	Linux
Status	NEW
Severity	normal
Priority	Normal
Component	Git
Assignee	sysadmin-maint@gnome.bugs
Reporter	opensource@till.name
QA Contact	sysadmin-maint@gnome.bugs
GNOME version	---

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.

---

      You are receiving this mail because:

• You are watching the QA Contact of the bug.
• You are watching the assignee of the bug.