Hacker News new | ask | show | jobs
by akoboldfrying 517 days ago
Are you thinking of labels?

I only know GitHub "tags" to be the raw git branch-that-never-moves kind.

1 comments

Totally off topic, but Tags can be moved too. ;) It's mostly a convention that we use annotated tags (a tag that also creates a commit) and don't move them