Je viens de trouver un bug dans odfimgcompress (un truc tout con, par ailleurs), qui fait que l'outil plante sur des images dont la taille est indiquée en points (pt).
Merci !
Je n'ai aucun moyen pour le moment de faire un rapport de bug correct et une merge request pour corriger ça.
Ah mais si, c'est tout l'intérêt de Git, pas besoin de dépôt central. D'ailleurs, un dépôt officiel, il y en a un, le mien, qui est aussi utilisable par qui que ce soit que n'importe quel dépôt sur SourceForge ou Dieu sait où. C'est à dire en lecture seule.
Donc, l'intérêt de Git, c'est que tu peux faire des modifications chez toi, puis me les proposer, au choix :
— en exposant ta branche sur un dépôt, puis en m'envoyant une requête de pull ;
— en m'envoyant un git-format-patch.
Requête de pull ou de merge, ça veut dire la même chose : le but est de faire un merge, mais pour ça, i faut d'abord récupérer la branche tierce, avec un fetch, et le pull, c'est fetch puis merge, donc on parle bien de la même chose. En revanche je ne vois pas en quoi une requête de pull est conditionnée au fait d'être exposé sur un gros dépôt. Une requête de pull, ça se résume à :
Salut, j'ai corrigé des trucs dans ton projet, si tu veux tu peux les récupérer sur la branche contrib de mon dépôt <git://git.example.com/odfimages.git> en faisant :
git pull git://git.example.com/odfimages.git contrib
[^] # Re: Github ?
Posté par 🚲 Tanguy Ortolo (site web personnel) . En réponse au journal odfimages : traiter les images dans des documents bureautiques. Évalué à 5.
Merci !
Je n'ai aucun moyen pour le moment de faire un rapport de bug correct et une merge request pour corriger ça.
Ah mais si, c'est tout l'intérêt de Git, pas besoin de dépôt central. D'ailleurs, un dépôt officiel, il y en a un, le mien, qui est aussi utilisable par qui que ce soit que n'importe quel dépôt sur SourceForge ou Dieu sait où. C'est à dire en lecture seule.
Donc, l'intérêt de Git, c'est que tu peux faire des modifications chez toi, puis me les proposer, au choix :
— en exposant ta branche sur un dépôt, puis en m'envoyant une requête de pull ;
— en m'envoyant un git-format-patch.
Requête de pull ou de merge, ça veut dire la même chose : le but est de faire un merge, mais pour ça, i faut d'abord récupérer la branche tierce, avec un fetch, et le pull, c'est fetch puis merge, donc on parle bien de la même chose. En revanche je ne vois pas en quoi une requête de pull est conditionnée au fait d'être exposé sur un gros dépôt. Une requête de pull, ça se résume à :
Salut, j'ai corrigé des trucs dans ton projet, si tu veux tu peux les récupérer sur la branche contrib de mon dépôt <git://git.example.com/odfimages.git> en faisant :
git pull git://git.example.com/odfimages.git contrib