+1 -----Original Message----- From: Andy Seaborne <[email protected]> Sent: Tuesday, January 7, 2020 2:36 PM To: [email protected] Subject: [VOTE] Split off GH PR email traffic to a new list.
Happy 2020 everyone. From the [DISCUSS] around: https://lists.apache.org/thread.html/12988132a86780d1fc14c6f893099cac50875e1d04a360d6046fdc0a%40%3Cdev.jena.apache.org%3E here is the formal vote: Proposal: This is the minimal proposal. Ask INFRA for a new mailing list, "pr@", and route github repo email currently going to dev@ to that list. Please vote [ ] +1 Approve the proposal [ ] 0 Don't care [ ] -1 Don't make the change because ... This vote is open to at least: Friday 2020-01-10 18:00 UTC. (for additional discussion either the [DISCUSS] thread or change "[VOTE]" to "[]". Andy
