Swap back to upstream Kiri

USA-RedDragon · Jun 4, 2023 · 793d4a8 · 793d4a8
1 parent f12c687
commit 793d4a8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -91,9 +91,9 @@ RUN yes | opam init --disable-sandboxing && \
  rm -rf ~/.opam/repo/*
 
 # Install kiri, kidiff and plotgitsch
-ADD https://api.github.com/repos/USA-RedDragon/kiri/git/refs/heads/main kiri_version.json
+ADD https://api.github.com/repos/leoheck/kiri/git/refs/heads/main kiri_version.json
 ENV KIRI_HOME "/home/github/.local/share/kiri"
-RUN git clone --recurse-submodules -j8 https://github.com/USA-RedDragon/kiri.git "${KIRI_HOME}"
+RUN git clone --recurse-submodules -j8 https://github.com/leoheck/kiri.git "${KIRI_HOME}"
 RUN cd "${KIRI_HOME}/submodules/plotkicadsch" && \
  opam pin add -y kicadsch . && \
  opam pin add -y plotkicadsch . && \

diff --git a/entrypoint.sh b/entrypoint.sh
@@ -17,7 +17,7 @@ fi
 
 . /home/github/.profile
 
-KIRI_ARGS="--no-server --no-error-on-commit-count"
+KIRI_ARGS="--no-server"
 
 # KIRI_OUTPUT_DIR -> --output-dir
 if [ -n "${KIRI_OUTPUT_DIR}" ]; then