[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Octave forge: prunning unwanted head
|
From: |
JuanPi |
|
Subject: |
Re: Octave forge: prunning unwanted head |
|
Date: |
Fri, 29 Apr 2016 13:43:11 +0200 |
On Fri, Apr 29, 2016 at 10:06 AM, Olaf Till <address@hidden> wrote:
> 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
That is not what my experience with my own repos shows. You can indeed
remove branches not preserving history. It seems this is something
either with SF or the way repositories in OF are set up.
--
JuanPi Carbajal
Public GnuPG key: 9C5B72BF
-----
The end of funding: "Many researchers were caught up in a web of
increasing exaggeration."
- Hans Moravec