juliette@pawb.social to Technology@lemmy.ml · 7 months agoGitHub Is Not Open Source, A Rantlisted.toexternal-linkmessage-square101fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGitHub Is Not Open Source, A Rantlisted.tojuliette@pawb.social to Technology@lemmy.ml · 7 months agomessage-square101fedilink
minus-squareonlinepersona@programming.devlinkfedilinkEnglisharrow-up0·7 months agoThat’s not a pull request, but a merge request. Besides the point though. What I’m getting at is: isn’t that asking for trouble? Somebody could while true ; do head /dev/urandom -c 100MB > file.txt git add file.txt git commit -m "new commit" git push done and fill up your hard drive. Also, depending on the protocol, they could try fuzzing it. Or, pipe /dev/urandom into nc and blast your git port. And of course, the first problem is discoverability. Who’s going to find your random, unfederated, git service? It just doesn’t sound like a convincing solution, IMO. Anti Commercial-AI license
That’s not a pull request, but a merge request. Besides the point though. What I’m getting at is: isn’t that asking for trouble? Somebody could
and fill up your hard drive. Also, depending on the protocol, they could try fuzzing it. Or, pipe
/dev/urandom
intonc
and blast your git port.And of course, the first problem is discoverability. Who’s going to find your random, unfederated, git service?
It just doesn’t sound like a convincing solution, IMO.
Anti Commercial-AI license