Hi folks, Since we've moved to gitlab, where you can subscribe to project and/or repository notifications (for commits, issues and MRs), the pulseaudio-commits list is now redundant. Does anyone have objections to stopping updates going out to this list, and maybe disabling email to it altogether? -- Arun