this post was submitted on 11 Jan 2025
83 points (100.0% liked)

Linux

8827 readers
327 users here now

A community for everything relating to the GNU/Linux operating system (except the memes!)

Also, check out:

Original icon base courtesy of lewing@isc.tamu.edu and The GIMP

founded 2 years ago
MODERATORS
Ategon@programming.dev
anzo@programming.dev
dwraf_of_ignorance@programming.dev
83
Git 2.48 released (github.blog)
submitted 6 months ago by petsoi@discuss.tchncs.de to c/linux@programming.dev
11 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] uranibaba@lemmy.world 16 points 6 months ago
  • When "git fetch $remote" notices that refs/remotes/$remote/HEAD is missing and discovers what branch the other side points with its HEAD, refs/remotes/$remote/HEAD is updated to point to it.

That is nice.