Re: [boost] git reset and force push

Subject: Re: [boost] git reset and force push
From: Jürgen Hunold (jhunold_at_[hidden])
Date: 2015-10-07 11:54:51

Hi Raffi,

Am Mittwoch, 7. Oktober 2015, 17:35:25 schrieb Raffi Enficiaud:
> Le 07/10/15 16:44, Sam Kellett a écrit :
> > out of interest, what's wrong with just reverting the offending commits?
> 
> There is a pile of them, coupled with commits I want to keep. revert
> does just not work, I have to rewind to that commit.

I would not spent extra time (yours and others) for additional work. Just go 
forward and fix the existing issues. 

I'll take a look into the command line parser. I hope it is possible to select 
new/old behaviour depending on some preprocessor #define during compilation. 
This would allow slow upgrades.

Yours,

Jürgen
-- 
* Dipl.-Math. Jürgen Hunold  ! 
* voice: ++49 4257 300       ! Fährstraße 1
* fax  : ++49 4257 300       ! 31609 Balge/Sebbenhausen
* jhunold_at_gmx.eu             ! Germany