| *** jroll05 is now known as jroll0 | 08:57 | |
| noonedeadpunk | hey... Have I missed smth? Are we allowing creating Pull Requests on github since some time? | 12:09 |
|---|---|---|
| noonedeadpunk | fungi: ^ | 12:09 |
| noonedeadpunk | I saw specifically that: https://github.com/openstack/octavia/pull/8 | 12:09 |
| frickler | noonedeadpunk: iiuc you cannot avoid that. there is a periodic job that will close/answer them once per day | 12:14 |
| noonedeadpunk | ah ok | 12:14 |
| noonedeadpunk | I somehow thought that it's possible to prohibit PRs through org settings... | 12:15 |
| noonedeadpunk | you're right though | 12:15 |
| frickler | it might be possible, but not sure we'd actually want to block those contributions completely. answering them with a redirect to the proper way of contributing seems preferable to me | 12:25 |
| fungi | i'm not really here, but i understand that github added an emergency anti-abuse feature that lets you temporarily block a variety of activities, one of which is the ability of non-project-member users to create new pull requests. some communities apparently use that to block pull requests for mirrored repos, but from what i saw you'd have to remember to refresh that setting at least yearly | 12:46 |
| fungi | since it lacks an indefinite option | 12:46 |
| clarkb | noonedeadpunk: I have been trying to encourage people with repos replicated to github to subscribe to github repo events via email | 16:03 |
| clarkb | noonedeadpunk: the reason is as you found out we can't really disable everything and it helps prevent things from slipping through the cracks | 16:04 |
| clarkb | I am aware of these events because I am subscribed and I'm really only doing that beacuse so few others do | 16:04 |
| clarkb | hopefully one day I can unsubscribe | 16:04 |
| *** Gues__________________________ is now known as jjung | 18:05 | |
| *** diablo_rojo is now known as Guest4496 | 19:30 | |
Generated by irclog2html.py 2.17.3 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!