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

["Konstantin Boudnik (JIRA)" <ji...@apache.org>]

Konstantin Boudnik created INFRA-7631:
-----------------------------------------

             Summary: 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)