On Sun, Dec 04, 2022 at 02:26:52PM +0100, rozanski.s...@gmail.com wrote: > Thank you very much for the clarification. > While I still believe that from a user's point of view, the collaboration of > both tools (GIT and e.g.: OneDrive) is an idiosyncratic "complement", I > understand that there are technical issues to make it work properly. > I hope that someday these problems can be overcome.
The problem is that either tool or both must be rather heavily modified in order for this to work. For instance, Git could in theory be modified to maintain a single-file atomically changed repository. It this possible? In theory, yes. In practice, that would require an inordinate amount of work with exactly zero technical gains beside the fact of being compatible with cloud-synchronizing software, and with very clear technical drawbacks. So I'm pretty sure it's a no-go. On the other hand, OneDrive could be modified in some ways. For instance, if its user interface would allow to easily exclude (prune) parts of the directory hierarchies it syncs, and - better yet - have presets such as "by default, prune hierarchies rooted at directories called „.git”, and warn the user about this", I'd call it a perfect solution. Or, both pieces of software could be somehow modified to work in concert. Say, Git has "hooks": it can call arbitrary programs at certain key points of its operation. Git could grow two special hooks - "repository locked" and "repository unlocked", and OneDrive could provide a way for external software to call into its service, which could be easily used by such hooks. Then a proprely armed Git repo could tell the OneDrive service about key points where it makes sence to "touch" the files in a particular directory. Is this possible? Yes. Plausible? I'm not so sure. Luckily, a tectonic shift made Microsoft be not _that_ hostile towards free and open source software as was back in the day; it even hired one of the key folks behind the Windows port of Git ;-) So there indeed exists a tiny glimmer of hope that Git and OneDrive could work better together, but really I'd not keep my fingers crossed. -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/git-users/20221204143405.m34xevjuojahwrkl%40carbon.
