debug git
foo
bug fix in release.sh
Merge branch 'develop' of github.com:fhermeni/btrplace-solver into develop
increase release verbosity