Re: herdtools7.7.58 is now available

On Fri, Feb 14, 2025 at 08:26:02PM +0900, Akira Yokosawa wrote:
> Paul E. McKenney wrote:
> > On Fri, Feb 14, 2025 at 04:58:36PM +0900, Akira Yokosawa wrote:
> >> Hi Paul,
> >>
> >> Thanks to Luc, herdtools7.7.58 is now available [1, 2], which means
> >> pending LKMM changes by Puranjay, Hernan, and Jonas have become
> >> ready to go for the next merge window.
> >>
> >> I'm not sure who will be in charge of sending LKMM pull request for
> >> v6.15, though.
> >>
> >> [1] https://github.com/herd/herdtools7/issues/1155
> >> [2] https://github.com/herd/herdtools7/releases/tag/7.58
> > 
> > That would be me, and thank you for letting me know!
> > 
> > Would you like to submit a patch updating the required version of herd7?
> > One location is tools/memory-model/README,
> 
> It is already taken care of by
> commit c6476bdc49b3 ("tools/memory-model: Switch to softcoded herd7 tags").

Indeed it is, thank you!

> That said, its Sob chain looks confusing to me (provided its author is Jonas):
> 
>     Signed-off-by: Hernan Ponce de Leon <[email protected]>
>     Signed-off-by: Jonas Oberhauser <[email protected]>
>     Signed-off-by: Paul E. McKenney <[email protected]>

Thank you again for checking!

This says to me that Hernan wrote the patch, and Jonas took it in and
sent it out.  If this is the case, I should change git's idea of the
author to "Hernan Ponce de Leon <[email protected]>".

							Thanx, Paul

> This should be either (Jonas as the author):
> 
>     Co-developed-by: Hernan Ponce de Leon <[email protected]>
>     Signed-off-by: Hernan Ponce de Leon <[email protected]>
>     Signed-off-by: Jonas Oberhauser <[email protected]>
>     Signed-off-by: Paul E. McKenney <[email protected]>
>     
> , (Hernan as the author):
> 
>     Signed-off-by: Hernan Ponce de Leon <[email protected]>
>     Co-developed-by: Jonas Oberhauser <[email protected]>
>     Signed-off-by: Jonas Oberhauser <[email protected]>
>     Signed-off-by: Paul E. McKenney <[email protected]>
> 
> , or (Hernan as the author, Jonas as a submitter):
> 
>     Signed-off-by: Hernan Ponce de Leon <[email protected]>
>     Signed-off-by: Jonas Oberhauser <[email protected]>
>     Signed-off-by: Paul E. McKenney <[email protected]>
> 
> Jonas, Hernan, which is the case here?
> 
>         Thanks, Akira
> 
> >                                            and there might be others
> > (though I hope not).
> > 
> > 							Thanx, Paul
>