release 2023-10-03

Author: steveloughran

BUILDING.md

@@ -34,8 +34,7 @@ To publish the release use the gui or the github command line through the `fish`
 ```bash
 set -gx now (date '+%Y-%m-%d'); echo [$now]
 git add .; git status
-git commit -S -m "release $now"
-git push
+git commit -S -m "release $now"; git push
 gh release create tag-release-$now -t release-$now -n "release of $now" -d target/cloudstore-1.0.jar
 # then go to the web ui to review and finalize the relese
 ```