Maybe it is possible to reduce the volume a bit?
For example currently many messages are sent twice, once from GitHub and
again from GitBox. Maybe than can be avoided?
Tilmann
On 04/02/2021 23:21, JDO Spec wrote:
Personally, I have no problem with the number of messages on the jdo-dev list
Personally, I have no problem with the number of messages on the jdo-dev list
that come from github/gitbox/contributors.
If we push it off to another list it's just one more list I will need to
subscribe to in order to pay attention.
It's all important. In the near future when we are mostly
Hi Tilmann,
yes, I'll put it one the agenda.
Regards Michael
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
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
Seems like the new website machinery generates a lot of messages?
bryan
-- Forwarded message -
From: GitBox
Date: Thu, Feb 4, 2021 at 11:20 AM
Subject: [GitHub] [db-jdo-site] tzaeschke merged pull request #19:
Update pom.xml
To:
tzaeschke merged pull request #19:
URL: