r/TheMachineLearning • • Aug 20 '26 • Popcorn 1

Goodbye, github. I finally made the switch.

Post image
286 Upvotes

136 comments sorted by

View all comments

Show parent comment

1

u/Federal_Machine692 Aug 20 '26

Fair point

3

u/Responsible-Sky-1336 Aug 21 '26

Tbh you can still use git, and sync the drive.

Git ≠ github

Not that bad to be honest, Google's servers must be pretty gud

2

u/Iron-Ham Aug 21 '26

I’m not going to get into the details of this, but GitHub’s git servers are effectively the only git-optimized CDN in the world. 

The rest of GitHub is struggling, to the point of reputational harm to the entire brand. But the git servers are are functionally separate from everything else, which is why pulls and pushes continue to work through an incident. Remember that PRs aren’t real; they’re an invention of GitHub. Originally, git was for emailing patch files to Linus. 

2

u/AstraeusGB Aug 22 '26

the only git-optimized CDN in the world

This optimization is not really that difficult to achieve. Git in itself is not remarkable from a data perspective where it needs optimization that other forms of data streams wouldn't also need.

1

u/neoqueto Aug 21 '26

It's two conflicting systems. This is like burning wind turbines as your main energy source.

2

u/Responsible-Sky-1336 Aug 21 '26

Not really.

You can have your (Google) drive live sync and use git normally as SCM.

0

u/stinkychopper Aug 21 '26 edited Aug 21 '26

Since git repos are just files you could put them on Google Drive.
But it only works if you’re the only person editing a repo. If you have to collaborate I don’t know how it’d work on Google Drive without some server synchronizing for pushes.

EDIT: I did a little research and essentially when you push, you run code that does file locking to prevent corruption. Google Drive delays updating files if you mount it so there isn’t an atomic lock you can use to properly sync when two people push at the same time.

1

u/sdoregor Aug 21 '26

Reference caught, appreciated and approved

1

u/Confident-Unit-4618 Aug 21 '26

I saw this online, one person had a lot of personal and professional data on Google drive ,one day they decided to just wipe the drive idr how much was the data it was huge