Le 05/05/2017 à 08:16, Franco Fichtner a écrit : >> On 4. May 2017, at 10:20 AM, Mathieu Arnold <m...@freebsd.org> wrote: >> >> If you went as far as being able to create a pull request, you can do a >> git show HEAD or git diff origin/trunk...HEAD and submit that in the >> FreeBSD PR as well. > It's pretty easy to extract the diff from a PR on GitHub, just append > ".diff", and ".patch" works too, but gives the full git commit history: > > https://github.com/freebsd/freebsd-ports/pull/62.diff
Yes, I am aware of that, the problem with github pull requests is that they are outside of the FreeBSD bug report process, they do not get assigned to maintainers, nobody notices them, they just stay there, and get obsolete. There have been 61 before, yes, I closed a lot because they were obsolete because it is outside of our process and nobody noticed them, and for the rest either asked the submitter to open a PR on our bugzilla, or opened one myself. -- Mathieu Arnold _______________________________________________ freebsd-ports@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"
