On Wed, Mar 8, 2023 at 2:28 PM Uwe Brauer <o...@mat.ucm.es> wrote:
>
> > On Mon, Mar 6, 2023 at 3:03 PM Uwe Brauer <o...@mat.ucm.es> wrote:
> > It's probably never going to be. The point is that you wouldn't need
> > named branches if you knew from where a branch started.
>
> I am a bit confused, in an earlier mail you said
>
> ,----
> | But there are some corner cases in which git is not able to provide
> | the same information as mercurial, because it doesn't have the branch
> | point (the precise point where a branch was created). There's many
> | potential ways to calculate this branch point [2], but there isn't a
> | single infallible solution.
> |
> | Git truly needs to be fixed in order to support this, I proposed a
> | branch@{tail} notation [3].
> `----
You could say my relationship with Git developers is complicated. Even
though I do a ton of Git development (maybe the person that does the
most for free), I wouldn't consider myself a "Git developer" ™.
So it doesn't matter if I (and many people) consider such feature
useful, it won't be merged.
> And it seems that in
> https://felipec.wordpress.com/2013/08/27/analysis-of-hg-and-git-branches/
>
> (https://github.com/felipec/git/commits/fc/base is a dead link)
I've updated the link, it changed to fc/tail [1].
> Your proposed a patch and said it was not that difficult.
It's not.
The difficulty relies not on the implementation, but convincing Git
developers that this is useful (even needed).
> > This is hypothetical of course, in truth all you get is what `git
> > name-rev` gives you.
>
> A part from my personal preference to have it, I would also say that
> could be very useful for improving hg <--> git export/import.
Indeed. I don't like Mercurial, but being forced to work with it has
made me see areas of improvement within Git, and this is one of them.
Cheers.
[1] https://github.com/felipec/git/commits/fc/tail
--
Felipe Contreras
--
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to git-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/git-users/CAMP44s1SBEsNjOzp3PaJZLhMuO4vvM2wTP9kLxBMBrQ4ASfHKA%40mail.gmail.com.
