this post was submitted on 30 Jun 2023
47 points (98.0% liked)
Git
2910 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
- Follow programming.dev rules
- Be excellent to each other, no hostility towards users for any reason
- 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
view the rest of the comments
It might be worth it. Not sure their systems have been stressed in this way before and they might want some engineers to look at it. It could lead to some more efficencies in smaller repos. Or it could lead to nothing. Might be worth contacting them to see. Even if you ultimately don't care about this repo.
Fair enough. I created a thread on the support forum. Since I don't have a paid account, I can't contact support directly.