ma branche git
Frédéric Chapoton <[email protected]>
| Newsgroups | gmane.comp.mathematics.pari.devel |
|---|---|
| Message-ID | <[email protected]> |
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 ? comment signaler l'existence de cette branche ? Frédéric