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

Comment # 4 on bug 762817 from Yuri Konotopov
Hi Alberto, Andrea.
I'm a bit confused by workflow you are described.

I searched early discussions and read [0] and [1]. Found unanswered [3].

First of all I have 1 question: as a project maintainer may I directly commit
to maintained repository (at git.gnome.org) without some review process at

If answer "yes", what is a problem if I will review PRs at github mirror,
communicate with PR author and manually merge PR through git.gnome.org (not
through github "merge" button)?

[1] https://mail.gnome.org/archives/foundation-list/2013-August/msg00010.html
[2] https://mail.gnome.org/archives/desktop-devel-list/2015-May/msg00004.html
[3] https://mail.gnome.org/archives/foundation-list/2013-August/msg00076.html

You are receiving this mail because:

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]