Contributors mailing list archives
Tecnativa. S. L., Pedro M. Baeza
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 (<firstname.lastname@example.org>) 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