[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Octave forge: prunning unwanted head
|
From: |
Olaf Till |
|
Subject: |
Re: Octave forge: prunning unwanted head |
|
Date: |
Fri, 29 Apr 2016 10:06:13 +0200 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Fri, Apr 29, 2016 at 04:43:53AM +0200, JuanPi wrote:
> How can I prune a unnecessary dead branch from the source forge repository?
You can't, you can only delete information locally as long as it is
not yet pushed ...
Olaf
--
public key id EAFE0591, e.g. on x-hkp://pool.sks-keyservers.net
signature.asc
Description: Digital signature