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. _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev