[petsc-dev] did I push into master by mistake (just docs)?

[Mark Adams]

I start with a fresh PETSc clone and created a branch for a document fix.
When I tried to push it it asked for my username and password.  Strange but
OK.  I did push a branch (mark/gamgdoc) and I see it on bitbucket.  But
when I try to create a pull request it says it is already in master?  What
happened?
Mark
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20141104/d4dd756f/attachment.html>