<div class="gmail_quote">On Thu, Feb 9, 2012 at 08:30, Matthew Knepley <span dir="ltr"><<a href="mailto:knepley@gmail.com">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 class="im">On Thu, Feb 9, 2012 at 2:48 AM, Alexander Grayver <span dir="ltr"><<a href="mailto:agrayver@gfz-potsdam.de" target="_blank">agrayver@gfz-potsdam.de</a>></span> wrote:<br></div><div class="gmail_quote">
<div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<u></u>

  
    
  
  <div bgcolor="#ffffff" text="#000000">
    lib/petsc-dev> hg pull -u<br>
    pulling from <a href="http://petsc.cs.iit.edu/petsc/petsc-dev" target="_blank">http://petsc.cs.iit.edu/petsc/petsc-dev</a><br>
    searching for changes<br>
    no changes found<br>
    <br>
    Does it take some time till it's there? </div></blockquote><div><br></div></div><div>You have to remake Fortran stubs: make allfortranstubs</div><div><br></div><div>and then make.</div></div></blockquote></div><br>
<div>So we have some confusion right now because Matt is pushing to bitbucket first and Barry is pushing to <a href="http://petsc.cs.iit.edu">petsc.cs.iit.edu</a>. I would be happy to experiment with using bitbucket as the primary for petsc-dev and have <a href="http://petsc.cs.iit.edu">petsc.cs.iit.edu</a> be the mirror (so users can keep tracking petsc-dev without changing URLs). The simple convenience of having https:// and ssh:// trivially push/pull the same repository is enough to make me prefer interacting with bitbucket (screwy networks filter ssh).</div>
<div><br></div><div>But "two-way mirror" does not work, so we have to agree about where we are pushing.</div>