[Bug 762817] Request for chrome-gnome-shell Github mirror pull requests control

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

Comment # 5 on bug 762817 from Alberto Ruiz

The problem is that we can't officially rely or encourage a piece of closed
source software that we don't maintain to operate the GNOME development
workflow. 

The mirror was not created to bypass Bugzilla, and we made a commitment not to
encourage that sort of thing.

You are, however, free to use github PRs, just not on the GNOME mirror.

---

      You are receiving this mail because:

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