<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 12, 2013 at 4:46 PM, Matthew Knepley <span dir="ltr"><<a href="mailto:knepley@gmail.com" target="_blank">knepley@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>What if we make the Wiki repository a subtree of PETSc, just like BuildSystem? I read all the stuff Jed sent on</div>

<div>this and it looks like exactly what we wanted.</div></blockquote></div><br>Bitbucket won't publish the subtree so we would have to use 'git subtree push --prefix=src/docs/wiki ...' to publish changes made inside petsc.git.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra" style>I think the wiki _should_ be a separate repo because it's not semantically tied to the release/branching in PETSc. It could be a 'git submodule' that most people did not know about, but that was occasionally updated (e.g., at a release) so that people could have a matching offline copy, but I wouldn't do that unless people really liked the idea.</div>
</div>