<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 12, 2013 at 2:42 PM, Richard Tran Mills <span dir="ltr"><<a href="mailto:rtm@eecs.utk.edu" target="_blank">rtm@eecs.utk.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">I will start using Git for working with petsc-dev when there are
      some clear instructions on the workflow we should be using. </blockquote><div><br></div><div style>This should get you started. Let us know if you have any questions.</div><div style><br></div><div style><a href="https://bitbucket.org/petsc/petsc/wiki/pull-request-instructions-git">https://bitbucket.org/petsc/petsc/wiki/pull-request-instructions-git</a><br>
</div><div><br></div><div style>See also these if you want more details and rationale:</div><div style><br></div><div style><a href="https://bitbucket.org/petsc/petsc/wiki/developer-instructions-git">https://bitbucket.org/petsc/petsc/wiki/developer-instructions-git</a><br>
</div><div style><a href="https://bitbucket.org/petsc/petsc/wiki/quick-dev-git">https://bitbucket.org/petsc/petsc/wiki/quick-dev-git</a><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
 In
      the meantime I have some petsc-dev tasks on my to-do list and I
      plan to work using a fork of petsc-hg.  To get my changes merged
      back "upstream", I assume I still just need to submit a pull
      request for petsc-hg on BitBucket?</blockquote></div><br>Yes, you can develop on petsc-hg and send pull requests.</div><div class="gmail_extra"><br></div></div>