diff --git a/changelog.d/3802.misc b/changelog.d/3802.misc
new file mode 100644
index 0000000000000000000000000000000000000000..a00eccb2832946b4bb019c39b873ef097e6a3204
--- /dev/null
+++ b/changelog.d/3802.misc
@@ -0,0 +1 @@
+Unignore synctl in .dockerignore to fix docker builds