On Fri, Jun 12, 2015 at 12:10 +, Bruno Oliveira wrote:
> Hi Holger,
>
> > I am not going to be much available during the weekend and would prefer a
> > switch date on monday. It's be best to have PRs merged or rejected until
> > then.
>
> I suggested Saturday because usually there's not much
> Yes. Can you announce in a top-level post here on the list along
> with the proposed way of what's going to happen?
Sure, although I don't think all PRs (currently 6) will be merged/rejected
until Monday... should we migrate anyway on Monday, or give it a few more
days to sort the remaining PRs
