Merge pull request #129 from veraPDF/docker_master

Use master branch for docker image

.github/workflows/push-dockerhub.yml

@@ -2,7 +2,7 @@ name: Publish Docker image
 
 on:
   push:
-    branches: [ integration ]
+    branches: [ master ]
 
 jobs:
   push_to_registry:

Dockerfile

@@ -3,9 +3,9 @@
 FROM maven:3.8.6-openjdk-11 as app-builder
 WORKDIR /build
 
-# A specifc git branch, tag or commit to build from, defaults to integration (dev build)
+# A specifc git branch, tag or commit to build from, defaults to master (release build)
 ARG GH_CHECKOUT
-ENV GH_CHECKOUT=${GH_CHECKOUT:-integration}
+ENV GH_CHECKOUT=${GH_CHECKOUT:-master}
 
 # Clone the repo, checkout the revision and build the application
 RUN git clone https://github.com/veraPDF/veraPDF-rest.git

README.md

@@ -76,11 +76,12 @@ Currently it's delivered as a single Maven module, veraPDF-rest.
 Swagger documentation is available at [localhost:8080/swagger](http://localhost:8080/swagger).
 
 ### Want to try?
-First clone this project, go to the project directory and then build the Maven project:
+First clone this project, go to the project directory, checkout to `master` branch for release version or `integration` 
+branch for dev version, and then build the Maven project:
 
 	git clone https://github.com/veraPDF/veraPDF-rest.git
 	cd veraPDF-rest
-	git checkout integration
+	git checkout master
 	mvn clean package
 
 To start up the server: