[Nix-dev] wiki and utf-8 characters

[phreedom at yandex.ru]

On Четверг 21 марта 2013 17:48:13 Lluís Batlle i Rossell wrote:
> On Thu, Mar 21, 2013 at 05:42:31PM +0100, Vladimír Čunát wrote:
> > On 03/21/2013 05:35 PM, Lluís Batlle i Rossell wrote:
> > >On Thu, Mar 21, 2013 at 05:24:36PM +0100, Marc Weber wrote:
> > >>>I thought this is what github wiki offers, but I've never used it.
> > >>
> > >>If it was I would not have spoken up. Github wiki is just a wiki you
> > >>can edit online.
> > >
> > >You can push to the wiki with git too, no?
> > >Looking at the first github wiki I found, that's what I understand.
> > >https://github.com/diaspora/diaspora/wiki/_access
> > 
> > I don't think Marc objected to this, but to the fact that (perhaps)
> > you can't create a pull request to wiki, which restricts editing to
> > those with push access.
> 
> Ah ok. I don't mind if the online editing keeps the ownership of the edits.
> Mediawiki hasn't pull requests either. :)

Doesn't mean we shouldn't want it. Git-based wiki is an exciting development. 
I always use it for my pet projects and also use a git-friendly bug-tracking 
system.

However, when it comes to web interfaces and casual use, git-based wikis are 
at least reasonably mature(eg ikiwiki), while bug trackers are cli-only for 
all practical purposes. Unfortunately, right now we have a lock-in to github 
wrt pull requests :/ But... nothing wrong with doing things one at a time.