Re: manpages.debian.org has been modernized!
On 30/01/17 13:32, The Wanderer wrote:
On 2017-01-30 at 03:54, Bernd Zeimetz wrote:
On 01/30/2017 12:44 AM, Sean Whitton wrote:
Same here. Also since I've moved my major packages to github, a
constant stream of pull requests for even simple bugs like typos
is coming in. People are used to github and how to create a pull
request on the web interface, and I can just merge these changes
with a few clicks.
Please don't forget about git-request-pull(1), or it's simpler
cousin, "to fix this bug please merge branch foo from repo bar".
Easy enough for me. But Sean and Bernd has a point, the github workflow
*is* easier. It's also used by so many that it's well established.
That said, the very idea with debian is about free software; free as in
Open Source. And github is certainly not free. So, we should try hard to
push for the free alternatives. If we had applied the github thinking
"use what works, free or not" we shouldn't be where we are.
But, we cannot just say "our tools are as good as github". Because they
are not. We need to understand it, and see what can be done. It's an
uphill battle, but also uphill battles can be won.