[jira] [Commented] (INFRA-7631) Need to reset Bigtop repo's master HEAD due to an accidental merge

["Roman Shaposhnik (JIRA)" <ji...@apache.org>]

    [ https://issues.apache.org/jira/browse/INFRA-7631?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13981669#comment-13981669 ] 

Roman Shaposhnik commented on INFRA-7631:
-----------------------------------------

Would be superhelpful if this can be addressed soon!

> Need to reset Bigtop repo's master HEAD due to an accidental merge
> ------------------------------------------------------------------
>
>                 Key: INFRA-7631
>                 URL: https://issues.apache.org/jira/browse/INFRA-7631
>             Project: Infrastructure
>          Issue Type: Bug
>          Components: Git
>         Environment: bigtop git repository at
>   http://git-wip-us.apache.org/repos/asf/bigtop.git
>            Reporter: Konstantin Boudnik
>
> I have messed up the master branch on Bigtop git repo. The correct master is currently pushed to branch {{master.fixed}}. We need to make the {{master}} be equivalent to the head of {{master.fixed}} branch. Any chance the force-push ban can be lifted for 5 minutes on this repository, so I can reset it properly? 
> Otherwise, can anyone with sufficient privileges to do this for us?



--
This message was sent by Atlassian JIRA
(v6.2#6252)