Re: Merge PR?

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.

 Jocke
_______________________________________________
Devel mailing list
[email protected]
https://pidgin.im/cgi-bin/mailman/listinfo/devel