sed -i "0,/UNRELEASED/s//$DISTRIBUTION/" debian/changelog
else
# change version in changelog
+ dch -i --no-auto-nmu ""
git-dch -a --ignore-branch --no-full --no-meta --id-length=7
# replace first version (enclosed in brackets) with real version
# we cannot use (git-)dch as the version might be lower than the last
cd $WORKSPACE
# remove old maven repository if exists
-[ -d .repository ] && rm .repository -rf
+[ -d .repository ] && rm .repository -rf && echo "$WORKSPACE/.repository (used by Maven) removed"
# clean up git
git reset --hard