https://bugzilla.gnome.org/show_bug.cgi?id=748078
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: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
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._______________________________________________
gnome-infrastructure mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
