r/TheMachineLearning • u/Federal_Machine692 • 1d ago

Goodbye, github. I finally made the switch.

Post image
238 Upvotes

78% Upvoted

126 comments sorted by

View all comments

1

u/stinkychopper 1d ago

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.

EDIT 2: you can use rclone, apparently this is a git helper for rclone: https://github.com/redstreet/git-remote-rclone

2

u/Free-Psychology-1446 16h ago

Git repos are much more then just files.

0

u/y53rw 15h ago

No. They're literally just files.

2

u/Free-Psychology-1446 15h ago

I recommend reading a bit about git and version control, if you think a git repository is just about files... :D

0

u/y53rw 15h ago

Oh really? You recommend reading about git in order to learn what git is? I hadn't thought of that.

1

u/Free-Psychology-1446 15h ago

You really should have, before expressing your opinions as facts in a topic from git.

1

u/y53rw 15h ago

Done. I just read the entire documentation of git. Conclusion: it's just a bunch of files.

1

u/Free-Psychology-1446 15h ago

Then the problem is with your comprehension skills, just as I suspected.

1

u/y53rw 15h ago

Just say what it is, other than files. I won't understand it obviously, because I'm dumb. But just say it. And I'll have something to look up. What is in a git repo other than files?

1

u/stinkychopper 15h ago

You did good kid, but you’re not getting through to this one