Hi, On 28.01.2015 07:42, Paul Fertser wrote: > Hi, > > ... > > Unless when you say "pull request" you do not mean git-request-pull(1) > but the unique non-standard proprietary github "pullrequest" which > would force the maintainers to use github webui to do their work and > depend on a single commercial entity. > Yes, that's exactly what I mean. It's a little bit more convenient with Github and you get a ticket system. Sending "git-request-pull" mails or patches does of course work as well. It would also still work if you had a Github mirror. It would be just another way to receive contributions and draw attention to the project. But this is not very important to me. It was only a suggestion.
Best regards, Robin -- Robin Haberkorn Developer metraTec GmbH Werner-Heisenberg-Str. 1 39106 Magdeburg Germany haberk...@metratec.com www.metratec.com -- libftdi - see http://www.intra2net.com/en/developer/libftdi for details. To unsubscribe send a mail to libftdi+unsubscr...@developer.intra2net.com