Re: [petsc-dev] deleting my old forks on bitbucket.

[Karl Rupp]

Hi Paul,

git push origin :branchname

should work.

Best regards,
Karli

On 08/01/2013 10:40 AM, Paul Mullowney wrote:

How do I do this?
-Paul