Re: [Taler] Allow history rewrite on feature branches

[Lukas Großberger]

Florian, thanks for letting me know. How do I find out my username in
gitolite? I'll move my branches to that naming scheme then. Sorry for
missing this :)


On 27.04.19 00:32, Florian Dold wrote:
> Hi,
> 
> this is already implemented, albeit not documented yet.
> 
> If gitolite knows you as user $USER, then you can force push to branches
> of the form
> 
>   dev/$USER/$BRANCHNAME
> 
> and if that's not working it's a bug.  I'll add this to the onboarding
> manual.
> 
> - Florian
> 
> On 4/26/19 10:36 PM, Christian Grothoff wrote:
>> On 4/26/19 9:50 PM, Lukas Großberger wrote:
>>> Dear Taler team,
>>>
>>> currently, a server side hook prevents people from force pushing (i.e.
>>> rewriting version history).
>>> I find amending commits or squashing commits to be quite useful to keep
>>> the history of a feature branch tidy before merging.
>>> How do you feel about making an exception in that hook for branches with
>>> the prefix "feature/"?
>>>
>>> Best, Lukas
>>>
>>
>> I'm generally OK with allowing force pushes for branches other than
>> master.  However, I don't know what the best policy here is, i.e.
>> whether we should allow anyone to force push everywhere, or say only
>> $USER to branches starting with $USER.  ng0/Florian: you two usually
>> have strong opinions on these kinds of matters, please just propose,
>> implement and document (in onboarding manual) some sane policy here.
>>
>