Contributors mailing list archives

Browse archives


Re: server-tools

Tecnativa. S. L., Pedro M. Baeza
- 01/05/2019 20:49:33
I would say no, as now the OCA git bot put the message about approval and it's for example my usual trigger for merging them. Please ping me on them to check.


El mié., 1 may. 2019 a las 20:42, Ronald Portier (<>) escribió:
Dear community members,

I note that several PR's in the server-tools repository have for some
time already both the APPROVED and READY TO MERGE labels.

However, nothing seems to happen with these PR's.

Is anyone actually looking at these PR's and willing and able to take
these PR's up?

Kind regards,

Ronald Portier

Post to: