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: b...@softjar.se || Reading murder books
pdp is alive! || tryin' to stay hip" - B. Idol