←back to thread

Git Notes: Git's coolest, most unloved­ feature (2022)

(tylercipriani.com)
577 points Delgan | 1 comments | 22 Jun 25 09:14 UTC | HN request time: 0.001s | source
Show context
legends2k ◴[22 Jun 25 15:34 UTC] No.44347756[source]▶
I discovered notes from the man pages around 2020 but didn't use them as it was primarily a local repo feature. By default they don't get pushed or fetched. If course, one can configure it such that it's pushed and fetched, but that's a team decision and mine didn't vote for it.
replies(1): >>44357982 #
1. WorldMaker ◴[23 Jun 25 17:24 UTC] No.44357982[source]▶
I feel like notes needs a more similar default to tags' updated defaults today: fetched/pulled by default but not pushed by default. It is useful to keep personal tags and personal notes and some people have workflows involving those, but once tags/notes are in the upstream repository, it should maybe be assumed that everyone should know about them.