Hi Yann, On Sat, May 5, 2018 at 3:24 PM, Yann Dirson <ydirson@xxxxxxx> wrote: > --- > git-reintegrate | 6 +++--- > 1 file changed, 3 insertions(+), 3 deletions(-) > > diff --git a/git-reintegrate b/git-reintegrate It looks like git-reintegrate is not managed in Git but in this repository : https://github.com/felipec/git-reintegrate So could be a bit confusing to send those patches to the Git mailing list without telling that your patches are not to be integrated into Git itself. Nice to see you again on the list anyway! Best, Christian.