title: How to delete branch with all commits pushed to wrong repository?
body: <p>We have several git repositories working on Android projects. We have 'boot' repo which is small and 'android' which is huge. During development one of our guys pushed branch from 'android' to 'boot' and now boot repository size is 700 MB! Is there anyway to completely delete the wrong branch and all commits related to it from 'boot' now? </p>
  
  <p>I tried filter-branch and other methods, but most of them change commit numbers made after that wrong push</p>
  
  <p>In theory this shouldn't be a problem delete commits which are 'on the side'. This branch was never merged to 'master' and these commit are not parents to any useful commits </p>