This is of course way off topic now... On 2020-06-20 17:06, Andreas Krey wrote:
On Sat, 20 Jun 2020 16:18:17 +0000, Riccardo Mottola wrote: ...Local repositories are a mess.. Don't you hate that if you have a set of local changes you cannot just "git pulL" without doing a commit for a merge?'git stash; git pull; git stash pop' (with a usabiliby quirk when there are conflicts).
Except when git refuses to do that, which I have had happen to me several times. git stash refuses (I can't even remember the error message right now, but something weird). Which of course also leads on to the git pull refusing to work, and no matter how you fight it, it seems to have been impossible to resolve. Which is one of the scenarios I mention I've been in where in the end, even the "experts" gave up and just told me to wipe and start over.
...remember SourceForge issues? or other sites? GIThub has its merits, but one thing I hate: before MS era its interface was very compatible, so you could use it with may browsers.If you use github like a plain cvs or svn server, you hardly ever interact with it with a browser. Moreover, even if github should spontaneously vanish, you and your collaborators can just point their remotes to a different hoster, push, and continue as if nothing happened. (Not so easily if you also use the pullreq and social features of github.)
Don't you love typing in those long hashes to refer to specific versions?Basically, it seems like everyone is sooner or later giving up on command line, and start using some graphical tool to try to make sense of the git repository...
And of course you want code reviews and the like before something gets committed to the central repository. Which is when things get even more interesting...
Johnny
--
Johnny Billquist || "I'm on a bus
|| on a psychedelic trip
email: bqt%softjar.se@localhost || Reading murder books
pdp is alive! || tryin' to stay hip" - B. Idol