You're right, but then the name becomes misleading (it should be "Git Metadata" ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

makeitdouble on Nov 28, 2022 | parent | context | favorite | on: Git Notes

You're right, but then the name becomes misleading (it should be "Git Metadata" or something similar)

The best way out of this situation could be aliasing the feature to something else with better defaults, with a hope that gets adopted by github/gitlab and the major GUIs

jayd16 on Nov 28, 2022 [–]

Maybe just give notes a namespace if it doesn't have it already. That way you can subscribe to some and not others.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact