this post was submitted on 11 Apr 2024
140 points (99.3% liked)

Git

2872 readers
1 users here now

Git is a free and open source distributed version control system designed to handle everything from small to very large projects with speed and efficiency.

Resources

Rules

  1. Follow programming.dev rules
  2. Be excellent to each other, no hostility towards users for any reason
  3. No spam of tools/companies/advertisements. It’s OK to post your own stuff part of the time, but the primary use of the community should not be self-promotion.

Git Logo by Jason Long is licensed under the Creative Commons Attribution 3.0 Unported License.

founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 3 points 7 months ago (1 children)

Try using a download manager, it's handles downloads on slow connections so much better than browsers do.
My favorite one is Jdownloader2

[–] embed_me 3 points 7 months ago* (last edited 7 months ago)

Upon further inspection, I found it's some DNS resolution error on that specific download URL. It could be a stray hit caught in the censorship.