| Re: [EGD-discu] Génération des pilotes windows |
[ Thread Index |
Date Index
| More ergodis.org/discussions Archives
]
Le 15/03/2018 à 10:50, Mathieu Barbe a écrit :
il faudrait que je puisse pousser sur le dépôt ou faire un push request.
Qui gère cela?
A2, Cracko, qui sont trouvables sur IRC peut-être.
Flavien21 et Milton ont peut-être accès eux aussi. Je ne suis plus sûr.
Olivier
--
Pour ne plus recevoir les messages de cette liste de discussion, envoyez un courriel avec pour destinataire discussions-REQUEST@xxxxxxxxxxx et pour sujet "unsubscribe".