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

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

Comment # 3 on bug 762817 from Andrea Veri

Alberto,

for a moment I thought the only point in having Yuri as a collaborator for that
specific repository was for him to close the PRs on Github and open bug reports
at bugzilla.gnome.org with the same content of the PRs themselves and not to
use Github as an alternate workflow as that indeed goes against the original
commitment.

I've revoked the access to the repository.

---

      You are receiving this mail because:

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