@JeremyCherfas Probably it was unable to reach 10C on the first launch. I have an issue for fixing that eventually. :(
@literary It's pleasantly rare for me. Or extra unpleasant due to its rarity, depending on how you look at it.
@streakmachine I follow few enough and small enough that I basically just check in weekly. It's a pace I'm comfortable with. And magically free of stupid.
@JeremyCherfas Fetch all does exactly that. Pull fetches the current branch and then merges it, so the working copy will reflect the latest changes. Pull is roughly git fetch && git merge.
/@matigo
@thrrgilag Huh, sounds like it kinda lets you get the WeeChat plugin experience in a plain-vanilla IRC client?
@sumudu You know the posts aren't shown to anyone else, because @kdfrawg hasn't replied to any of them. ;)
@JeremyCherfas Dropbox has been known on occasion to mutilate the metadata in repos, rendering them corrupt. I think it has to do with it syncing changes as you're doing local changes yourself. But I've seen a lot of advice to just not keep repos in Dropbox - and then a lot of people who say they do it without problem, so, YMMV. :)
Doing a git pull should be faster than re-copying all the things all over again. It lets git do what it's good at: quickly pushing diffs around.
// @matigo