Re: [Taler] (docs) mistaken branch

[Christian Grothoff]

Done. Now, these kinds of requests really shouldn't be posted on the
list, as 90% of the subscribers can't do anything about this anyway.
Please do contact Florian, Marcello and/or me directly for such
administrative issues.

On 11/28/20 1:31 AM, Thien-Thi Nguyen wrote:
> 
> I accidentally pushed branch ‘p’ to the docs.git repo.  When i
> try to delete it, i see:
> 
> | $ git push taler :p
> | remote: refs/heads/p 8b8fa591fce11d1763cd94c90a746cac4550ea8a 
> 0000000000000000000000000000000000000000        
> | remote: A force-push or delete is only possible for branches named 
> 'dev/USER/...'.        
> | remote: Admins are excluded from this policy, please ask them if you really 
> have to delete a branch.        
> | remote: 
> | remote: FATAL -- ACCESS DENIED        
> | remote: Repo            docs                                                
>                 
> | remote: User            ttn                                                 
>                 
> | remote: Stage           From git's update hook                              
>                 
> | remote: Ref             VREF 'FORBIDDEN_FORCE_PUSH'                         
>                 
> | remote: Operation       Rewind push branch or overwrite tag                 
>                 
> | remote: 
> | remote: FATAL: + VREF/FORBIDDEN_FORCE_PUSH docs ttn DENIED by 
> VREF/FORBIDDEN_FORCE_PUSH        
> | remote: error: hook declined to update refs/heads/p        
> | To git+ssh://git.taler.net/docs.git
> |  ! [remote rejected] p (hook declined)
> | error: push di alcuni riferimenti su 'git+ssh://git.taler.net/docs.git' non 
> riuscito
> 
> Could someone please delete this branch for me?
> 
> Thanks in advance and sorry for the mishap.
>

signature.asc
Description: OpenPGP digital signature