Re: ma branche git

On Sun, May 17, 2020 at 11:23:32AM +0200, Frédéric Chapoton wrote:
> Bonjour,
> 
> j'ai une petite branche git à proposer. Comment la pousser vers le serveur ?
> 
> Je suppose que je dois demander à etre reconnu comme ayant le droit de
> pousser ?
> 
> Est-ce qu'il a une convention sur les noms des branches ?

Oui nous prefixons le nom de la branche par le pseudo pour éviter les
conflits.

> comment signaler l'existence de cette branche ?

Just send the URL of the branch to this list with some explanation
about what it does. GIT is decentralized, branches do not need to be
all on the same server.

If you prefer you can use git format-patch to create a patch series and
send it by email to me.

We have made a lot of improvement to bill-zetamult.
the new syntax is
polylogmult([5,1,2],[-1,1,1]) for zetamultalt([-5,1,2])

Cheers,
Bill.