IRC channel logs

2024-06-02.log

back to list of logs

<almuhs>for the next stream, we have to set a time in which damo22 can participate
<damo22>sorry it was starting at midnight for me, i could not make it
<damo22> https://savannah.gnu.org/news/?id=10508 looks like its possible to have a git hook installed that pushes a UDP message somewhere, possibly to trigger a CI build of the upstream :D
<Arsen>but why udp..
<Arsen>that's so inconvenient
<damo22>Arsen: what would you suggest
<damo22>ssh? it would need a key then
<Arsen>webhookd
<Arsen>delivery is far more reliable, http servers are standard and light, everyone else does it so it's well established, etc
<azert>Arsen: why udp is inconvenient?
<Arsen>they left.. anyway, because it's unreliable, lacks connections, and by merit of being seldom used for this purpose, lacks supporting code
<Arsen>webhooks are easy to fire because wget and curl can post data, and cgi, wsgi, whathaveyou scripts are easy to write
<Arsen>with UDP, a protocol must be invented first, then implemented (even if the impl is 'nc -u', that still leaves the questions of reliability of delivery and unusual administration)
<youpi>udp is also terribly easy to spoof
<azert>True
<azert>Even if the point is just to send 1 bit of information, there would be DoS concerns to reason about