diff options
| -rw-r--r-- | .dockerignore | 1 | ||||
| -rw-r--r-- | changelog.d/3802.misc | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/.dockerignore b/.dockerignore index 6cdb8532d3..0180602e56 100644 --- a/.dockerignore +++ b/.dockerignore @@ -3,6 +3,5 @@ Dockerfile .gitignore demo/etc tox.ini -synctl .git/* .tox/* diff --git a/changelog.d/3802.misc b/changelog.d/3802.misc new file mode 100644 index 0000000000..a00eccb283 --- /dev/null +++ b/changelog.d/3802.misc @@ -0,0 +1 @@ +Unignore synctl in .dockerignore to fix docker builds |