Merge PR?

Joakim Tjernlund Joakim.Tjernlund at
Wed Apr 25 12:36:53 EDT 2018

On Fri, 2018-04-20 at 08:26 +0100, David Woodhouse wrote:
> On Wed, 2018-04-18 at 14:16 +0000, Joakim Tjernlund wrote:
> > There are a few PR which has been approved but not merged, what is
> > holding merge back? Who merges?
> > I would love to see the latest PRs by David W. to merged and released
> > ASAP.
> I'm not sure if people are expecting me to merge the approved PRs
> myself (and if they need two approvals).
> Once upon a time I was able to do that, but if I do still have
> sufficient privs then I'm not aware of it.

I think the silence speaks ...
There are no rules, just best effort/adhoc, so I think you should try
merging yourself if possible.


More information about the Devel mailing list