Remove forgotten file

DOMjudge · Jan 12, 2024 · 230fe6e · 230fe6e
1 parent 5078c14
commit 230fe6e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 29 deletions.
diff --git a/.github/workflows/build-contributor-container-PR.yml b/.github/workflows/build-contributor-container-PR.yml
@@ -1,5 +1,6 @@
 name: 'Build Contributor container (PR)'
 # For speedup to do this in parallel: https://docs.docker.com/build/ci/github-actions/multi-platform/
+# Loosely based on: https://docs.docker.com/build/ci/github-actions/push-multi-registries/
 
 on:
   push:

diff --git a/.tarball-release.yml b/.tarball-release.yml