2012-11-01, 09:30:38
Yes, that makes sense: use the GitHub wiki for the developers, who would go on GitHub. Regular people would not go on GitHub, so they use normal wiki.
What I meant was, what decision did you feel left out of? That regular users shouldn't be allowed to mess with the wiki? This can certainly be changed in just a few minutes but we mostly edit the wiki anyway.
What I meant was, what decision did you feel left out of? That regular users shouldn't be allowed to mess with the wiki? This can certainly be changed in just a few minutes but we mostly edit the wiki anyway.