Merge branch 'main' into wb/wadokei-merge

2024-12-17 23:25:20 -08:00
parent d8c86882da 2105a7b63d
commit d22f004729
110 changed files with 1366 additions and 554 deletions
@@ -64,6 +64,9 @@ RUN bash -c "source /opt/build.sh; GetMcuBoot;"

 # Add the infinitime user for connecting devcontainer
 RUN adduser infinitime
-    
+
+# Configure Git to accept the /sources directory as safe
+RUN git config --global --add safe.directory /sources
+
 ENV SOURCES_DIR /sources
 CMD ["/opt/build.sh"]