Re: manpages.debian.org has been modernized!
On Mon, Jan 30, 2017 at 01:54:28PM +0100, Alec Leamas wrote:
> 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.
I thought I had to mention this tool:
https://rgeissert.blogspot.fr/2015/08/updates-to-sourcesdebiannet-editor.html
It's similar to what github offers with its web-based editor, except
it will produce a patch ready to be emailed, instead of a pull
request (also, it handles editing multiple files).
There's probably a lot to do to improve this tool, but might be a good
start for people wanting to fix typos and small glitches from their
browser.
Cheers,
--
Matthieu
Reply to: