> > > I realize that a local build seems to be your gold standard. > > Not mine. "Commons". >
You are arguing for it. I would just call it a current policy or practice. > > That's a very debatable point of view. > > There was no debate. Yet it is a debatable point of view :) > I don't see why you are putting those sideways > conclusions into the simple issue of maintaining > this place comfortable for everyone, not only > for GitHub users. > And I don't get why you are making such a big deal about having to delete 100(?) emails and maybe setting up an email filter. > Deleting the messages should have been 10s max. > > I wonder why you choose to be outraged instead. > > No, today's flood just pushed me to want to have > something that's bothering for months, fixed. > The flood was from enabling the bot. So what has bothered you before? The mails about PRs? > I guess there are many people out there that like it as a tool. > > Maybe you could explain why it's a burden for you? > > Sure: No GH account. > OK - why don't you have one? And why does that make things harder? > so maybe elaborate on > > the inconvenience. > > Try to do something on GH without being logged in. > So others are using a tool that (I assume) you don't want to use, and that is causing inconvenience for you and that is bothering you? And you want the rest of us to not use the tool because of that?
