set github default user

2026-09-01 14:14:52 +08:00 · 2021-07-16 09:58:40 +10:00
parent 19fb1044b7
commit 19baeec5c9
2 changed files with 4 additions and 0 deletions
@@ -2,4 +2,7 @@ FROM mikefarah/yq:4.9.8

 COPY entrypoint.sh /entrypoint.sh

+# this seems to be the default user in github actions
+USER 1001
+
 ENTRYPOINT ["/entrypoint.sh"]