| Re: [EGD-discu] Génération des pilotes windows |
[ Thread Index |
Date Index
| More ergodis.org/discussions Archives
]
On 15.03.2018 10:56, Olivier R. wrote:
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
On est assez nombreux à avoir accès au dépôt git. C’est mon cas ; cela
dit cela fait plus d’un an que je ne l’ai pas utilisé donc je ne suis
pas certain que je pourrai le faire du premier coup. :P
Malheureusement, le serveur git de tuxfamily est un peu primitif et je
ne crois pas qu’il soit possible de faire de PR, ni d’ailleurs d’ouvrir
de tickets ou d’ajouter de milestones, ce qui est bien dommage. C’est
pour ça que nous proposions, avec Mélanie, de migrer vers GitLabs
(migration beaucoup plus facile que celle vers SVN) qui propose toutes
ces fonctionnalités, permet un accès simplifié (pas besoin de créer un
compte sur les serveurs de TF) tout en restant un logiciel libre.
Bien cordialement,
Miltøn
--
Pour ne plus recevoir les messages de cette liste de discussion, envoyez un courriel avec pour destinataire discussions-REQUEST@xxxxxxxxxxx et pour sujet "unsubscribe".