ma branche git

[Frédéric Chapoton <chapoton@math.unistra.fr>]

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