Stream: Miscellaneous

Topic: PR notification spam


view this post on Zulip Karl Palmskog (Jun 07 2022 at 18:02):

apparently, if you know the right repository and alias, you can ping 400k people on GitHub: https://github.com/EpicGames/Signup/pull/24

food for thought as Coq maintainer teams grow.

view this post on Zulip Karl Palmskog (Jun 07 2022 at 18:10):

the obvious fix, that some aliases/@names are privileged, is apparently not implemented yet. But I guess it will be if those PR comments keep cropping up...

@flibitijibibo Context for those who aren't: https://github.com/EpicGames/Signup/pull/24 Some genius tagged half a million people on his spam PR, and 100+ others felt the need to add to the spam that generated

- Eric Engestrom 💙 (@1ace)

view this post on Zulip Li-yao (Jun 07 2022 at 18:22):

Will the world be a better place when half a million people are Coq maintainers?

view this post on Zulip Karl Palmskog (Jun 07 2022 at 19:00):

more realistically, we might have a couple of hundred people maintaining Coq Platform projects...

view this post on Zulip Théo Zimmermann (Jun 07 2022 at 20:31):

These team aliases are supposed to be privileged. At least, I've seen people not being able to use them in the past. It could be the case that this person was actually an org member at the time when they used it (and was kicked out since).


Last updated: Aug 19 2022 at 20:03 UTC