18 Jun
2012
18 Jun
'12
8:44 p.m.
I'm not opposed to this, necessarily, but my first priority is making updates as easy as possible. I'm busy and lazy. If updating the document means doing a git pull, running some scripts, editing HTML/Latex/whatever, checking in, etc, etc I'm not going to update the document as much. If it's as simple as opening a new tab and clicking a bookmark I'm much more likely to keep the document up to date ;). On Mon, Jun 18, 2012 at 2:09 PM, Avi Marcus <avi@avimarcus.net> wrote:
Github public repo, maybe. Then others can clone and make changes and you can do a pull to merge if you approve. -Avi
-- Kristian Kielhofner