Fix non-POSIX-ness in /bin/sh script
Fix builds for ignored branches not being deleted