> > 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. > > This would help until there are enough old ones piled up that we no > longer know if they are still relevant, if they are still important, if > their author dropped them, ... Not saying this is going to be better or > worse, I just don't think it's a silver bullet which will solve > everything :) > > Christophe >
Can be closed even if not merged. Usually happens the opposite think compared to ML: the maintainer ping the author to update/comment/drop. And PRs can be closed as obsolete by the maintainer. Frediano _______________________________________________ Spice-devel mailing list Spice-devel@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/spice-devel
