docker build: fatal: Remote branch ocrd not found in upstream origin

[jbarth-ubhd]

tried docker build .,

result:

...
Step 9/12 : ENV VERSION "2018-06-06"
 ---> Running in 63eb1d7c2e0c
Removing intermediate container 63eb1d7c2e0c
 ---> 00574d24977f
Step 10/12 : RUN echo "nameserver 129.206.100.126" > /etc/resolv.conf 
&&     mkdir /src &&     cd /src &&     git clone -b ocrd 
${PROFILER_GIT} &&     cd Profiler && mkdir build && cd build &&     
cmake -DCMAKE_BUILD_TYPE=release .. &&     make -j 4 profiler &&     
mkdir /apps &&     cp bin/profiler /apps/ &&     cd / && 		
rm -rf /src/Profiler
 ---> Running in 02c94b8517b5
Cloning into 'Profiler'...
fatal: Remote branch ocrd not found in upstream origin
The command '/bin/sh -c echo "nameserver 129.206.100.126" > 
/etc/resolv.conf &&     mkdir /src &&     cd /src &&     git clone -b 
ocrd ${PROFILER_GIT} &&     cd Profiler && mkdir build && cd build &&   
  cmake -DCMAKE_BUILD_TYPE=release .. &&     make -j 4 profiler &&     
mkdir /apps &&     cp bin/profiler /apps/ &&     cd / && 		
rm -rf /src/Profiler' returned a non-zero code: 128

PS: added echo nameserver .... > /etc/resolv.conf to the RUN lines:

~/ocrd-postcorrection> git diff Dockerfile|cat
diff --git a/Dockerfile b/Dockerfile
index c8154c08..54fe186c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,12 +7,14 @@ ENV LANG C.UTF-8
 
 VOLUME ["/data"]
 # update
-RUN apt-get update && \
+RUN echo "nameserver 129.206.100.126" > /etc/resolv.conf && \
+    apt-get update && \
     apt-get install -y git cmake g++ libxerces-c-dev libcppunit-dev openjdk-8-jre
 
 ENV VERSION "2018-06-06"
 # install profiler
-RUN mkdir /src && \
+RUN echo "nameserver 129.206.100.126" > /etc/resolv.conf && \
+    mkdir /src && \
     cd /src && \
     git clone -b ocrd ${PROFILER_GIT} && \
     cd Profiler && mkdir build && cd build && \