Hi,
oh, right, if you actually want to delete the whole repository, you
should do it from Bitbucket directly. I thought you wanted just to
delete the branch.
Best regards,
Karli
On 08/01/2013 11:11 AM, Satish Balay wrote:
You might have to login to your bitbucket account - and delete the repo.
Satish
On Thu, 1 Aug 2013, Paul Mullowney wrote:
Hi Karli,
So I want to eliminate pmullowney/petsc-aijcusparse-icc.git. Would I do:
git push https://bitbucket.org/petsc/petsc.git
:pmullowney/petsc-aijcusparse-icc.git
Do I do this in a locally cloned version of next or of
pmullowney/petsc-aijcusparse-icc.git?
Also, do you see any reason to keep pmullowney/txpetscgpu-package-removal.git
around? I don't.
Thanks for your help.
-Paul
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
