| ▲ | notmywalrus 2 days ago | |
> git tags There are commands for manipulating tags (jj tag set, jj tag delete), and recently [1] support for fetching / pushing | ||
| ▲ | LoganDark 2 days ago | parent [-] | |
Oh? That's incredibly recent. Thank you for letting me know. As it turns out, I just built jj from source earlier today, so ironically I should already have tags. I'll give it a try. | ||