[Bug 748078] New: "Pull Requests" functionality should not be available on github

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

Bug ID	748078
Summary	"Pull Requests" functionality should not be available on github
Classification	Infrastructure
Product	sysadmin
Version	unspecified
OS	Windows
Status	NEW
Severity	normal
Priority	Normal
Component	Git
Assignee	sysadmin-maint@gnome.bugs
Reporter	gnome@genodeftest.de
QA Contact	sysadmin-maint@gnome.bugs
GNOME version	---

On GNOME repositories mirrored to github there is a "Pull Requests" feature
available, e.g. for gnome-shell [1].
github users tend to think those pull requests would be read by gnome
developers which they often are not. Instead [2] suggest to submit patches by
gnome bugzilla. Could you please either forward those pull requests to gnome
developers or disable this feature on github?

[1] https://github.com/GNOME/gnome-shell/pulls
[2] https://wiki.gnome.org/Sysadmin/GitHub

---

      You are receiving this mail because:

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