We have had a similar discussion in the Calcite project too. Gitbox emails are being set to the dev@ list. These emails are produced every time there is activity in the Hive Github repository and are creating quite a lot of noise. The result is that it is really difficult to follow any activity in the list.
A possible alternative would be to send them to another list, e.g. gitbox@h.a.o. The idea is that having them in a list may still be useful as they may serve as a searchable archive of activity in the repo. What do you think? Should we open an INFRA ticket to request this? Thanks, Jesús
