undefined | Better HN

0 pointsakoboldfrying1y ago0 comments

Are you thinking of labels?

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

0 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

j / k navigate · click thread line to collapse

0 pointsakoboldfrying1y ago0 comments

Are you thinking of labels?

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

0 comments

ffsm81y ago

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

j / k navigate · click thread line to collapse