On Sat, 15 Jul 2017 16:49:11 +0200, Leonard MICHELET wrote: Salut Léonard,
> I cloned the repo, did the commit, but now I don't really know how I > should proceed :-) I am assuming that you locally committed your changes. 1 - cd to the root folder of your git repo 2 - type 'git diff . > docu.patch' to create a patch file (with all the information of your changes) 3 - login at https://bugs.freedesktop.org (it is necessary that you have an account) 4 - file a new bug, don’t forget to attach the patch file to the bug report. ... then the maintainers can look at the changes and push them to the repo. You might want to have look at https://bugs.freedesktop.org/show_bug.cgi?id=101795 which is a simple example of a bug report including a patch file I have filed today after I went through this very exercise this morning. ... and I am not an expert to that at all. > Thank you and sorry for my english This sound just perfect to me - and it is certainly better than my French in any event. :) > Léonard Michelet. HTH. Merci beaucoup, J. _______________________________________________ poppler mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/poppler
