Merge remote-tracking branch 'origin/3261-keep-docker-config' into 3261-keep-docker...

diff --cc docker/keep/Dockerfile
index 706e93a0fa9029eafe48289bbb09b006d258e8fb,fd93247a0f4863dada425f1954452a8193b69d19..240cb39fc5221f9a5020c48cc6c2a1b5ec653660
--- 1/docker/keep/Dockerfile
--- 2/docker/keep/Dockerfile
+++ b/docker/keep/Dockerfile
@@@ -11,9 -11,9 +11,11 @@@ RUN /usr/bin/apt-get updat
  RUN /usr/bin/apt-get install keep
  
  ADD generated/run-keep /usr/local/bin/
 +RUN chmod +x /usr/local/bin/run-keep
 +
  ADD generated/keep_signing_secret /etc/
  
+ RUN /bin/chmod a+x /usr/local/bin/run-keep
+ 
  # Start keep
  CMD ["/usr/local/bin/run-keep"]