Matthew Knepley <[email protected]> writes: > On Fri, Nov 8, 2013 at 8:38 AM, Jed Brown <[email protected]> wrote: > >> Is our page too wordy? >> >> https://bitbucket.org/petsc/petsc/wiki/developer-instructions-git >> >> Should we make our "quick reference" more like a "cookbook"? >> >> https://bitbucket.org/petsc/petsc/wiki/quick-dev-git > > > This is missing the Racy Merge section, which is important.
Agreed. > I like the original page, maybe with better navigation at the top. Which needs better navigation? "quick-dev-git"? Or both?
pgpnr3Af8gw74.pgp
Description: PGP signature
