yes it does, we merged 4 (or 5?) PRs today, but I agree it is a bit noisy.
@Michael, should we put this on the agenda for next time? tilmann On 04/02/2021 21:29, Bryan Pendleton wrote:
Seems like the new website machinery generates a lot of messages? bryan ---------- Forwarded message --------- From: GitBox <g...@apache.org> Date: Thu, Feb 4, 2021 at 11:20 AM Subject: [GitHub] [db-jdo-site] tzaeschke merged pull request #19: Update pom.xml To: <jdo-dev@db.apache.org> tzaeschke merged pull request #19: URL: https://github.com/apache/db-jdo-site/pull/19 ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org
