17 Exactly what I searched for. Anyone did a faulty commit and push and reverted it again Later on. The branches could not be merged for this reason And that i desired to find the repository to become in the proper state once more (and removing the commit from record since they were defective kinds in any case)1 git press -f origin : to the devops/