Björn Kautler
Björn Kautler
> `grep` is a horrible unixism which the command shouldn't use, `jj search` is much better. > I find it highly likely that we won't copy Gits interface here but...
> How do the existing `jj util exec` fit in with this? I don't see how `jj util exec` is related, unless using it to half-way knit the command yourself...
> The distinction is not as clear cut in all implementations. Hm, then I would say those implementations should be fixed. It should be Git which defines the meaning and...
> Interesting. I think that's new since I last used Git (in around 2015). It's not really new. It was always like that since I remember. And the explicit explanation...
Nice, but still, if JJ tags are conceptually lightweight Git tags, they should not make commits immutable and probably should not be pushed by default, or JJ tags exported to...
I see. Maybe then as long as tags in JJ do not have the additional metadata like a message, tags exported by JJ to Git should be annotated tags with...
That's exactly the point here :-)
It is not only about exporting tags, but also about importing tags. When I created this issue no tag exporting even existed and in the released version it still does...
Addendum: If a tag is skipped to import due to that setting, a warning for that tag could be issued, so that you are hinted that you might want to...
> Is that really common in Git community to treat lightweight and annotated tags very different things? I of course cannot speak for the Git community as a whole. But...