On Thu, Jul 27, 2017 at 11:54:08AM +0200, Victor Toso wrote: > On Mon, Jul 24, 2017 at 10:47:34AM -0400, Frediano Ziglio wrote: > > Not really familiar with GitLab merge requests but on GitHub they > > remain open till closed so this would help with old ones. > > The big change on moving to full PR is the way of commenting patches. > > Unless PR are just used for tracking and are replicated to ML but > > maybe is hard to keep them consistent. I think is possible to configure > > PRs to send changes to ML. This would make the history persistent on > > the ML. > > > > Could we try for a period and see how does it go? > > +1, but how should we approach that? I think we need to move from > freedesktop to either gitlab or github first otherwise we can get > confused on what's going on. > Just to be sure, you are both suggesting switching to pull requests, and doing the reviews in gitlab web UI? The initial problem is that some reviews are not done in a timely manner. Being able to easily get a list of pending reviews was brought forward as a potential solution to this problem, and apparently, you both think that switching from email based reviews to a web based review system would help in getting more reviews faster? (iow, it would make you more efficient at reviewing code, and you vastly prefer that over email). I'm not necessarily opposed to trying things out, I'm just trying to get a clear view of what we are expecting to get out of the change. Christophe
Attachment:
signature.asc
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/spice-devel