Re: ma branche git

Bonjour,

voici un essai de publication de ma branche:

git pull [email protected]:chapoton/pari.git 
chapoton/polcoeff_polcoef

ou bien peut-etre via

https://gitlab.math.unistra.fr/chapoton/pari/-/tree/chapoton/polcoeff_polcoef

J'ai juste remplacé trois ou quatre occurrences de "polcoeff" (obsolete) 
par "polcoef"

Par ailleurs, je serais preneur de conseils sur l'usage correct de "lindep".

Frédéric

Le 17/05/2020 à 12:24, Bill Allombert a écrit :
> 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.