Frédéric Chapoton on Sun, 17 May 2020 13:24:41 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: ma branche git |
Bonjour, voici un essai de publication de ma branche:git pull git@gitlab.math.unistra.fr:chapoton/pari.git chapoton/polcoeff_polcoef
ou bien peut-etre via https://gitlab.math.unistra.fr/chapoton/pari/-/tree/chapoton/polcoeff_polcoefJ'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.