Optimize repo cleaning and possibly fix error when a branch is removed from manifest and repo
Merge branch 'master' of https://github.com/UnORoms/android_vendor_unoroms_scripts