> Does anyone edit the wiki pages online? If editing happens purely > offline in git, what is the advantage of using a wiki? If you're referring to the Web editor, I do use it. If I already have a browser window open and am reading the wiki, it's way more convenient to use the "edit" button than it is to open a terminal, then run 'git pull', then find the page I want to edit.
Pushing to the Git repo from a local repository is fine and all, but I don't think removing functionality is going to help draw in new contributors. Of course, I'm a bit fuzzy on the big picture, so I can't formulate any solid arguments just yet. -- Rock on! -Ben Card https://muto.ca
