Technology

34879 readers

53 users here now

This is the official technology community of Lemmy.ml for all news related to creation and use of technology, and to facilitate civil, meaningful discussion around it.

Ask in DM before posting product reviews or ads. All such posts otherwise are subject to removal.

Rules:

1: All Lemmy rules apply

2: Do not post low effort posts

3: NEVER post naziped*gore stuff

4: Always post article URLs or their archived version URLs as sources, NOT screenshots. Help the blind users.

5: personal rants of Big Tech CEOs like Elon Musk are unwelcome (does not include posts about their companies affecting wide range of people)

6: no advertisement posts unless verified as legitimate and non-exploitative/non-consumerist

7: crypto related posts, unless essential, are disallowed

founded 5 years ago

MODERATORS

MinutePhrase@lemmy.ml

132

GitHub Is Not Open Source, A Rant (listed.to)

submitted 7 months ago by juliette@pawb.social to c/technology@lemmy.ml

111 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] onlinepersona@programming.dev 2 points 7 months ago (1 children)

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

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

[–] lurch@sh.itjust.works 1 points 7 months ago

no, it's not specific to merge requests. theres a tool called git-shell that prevents abuse