Stream: Miscellaneous

Topic: PR notification spam

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.

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)

Li-yao (Jun 07 2022 at 18:22):

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

Karl Palmskog (Jun 07 2022 at 19:00):

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

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: Dec 07 2023 at 17:01 UTC