chore(ci): don't fail to convert when committing while the action is …

…running (#98)
italia · Jun 9, 2023 · e662ade · e662ade
1 parent eb662e0
commit e662ade
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/fig2sketch.yaml b/.github/workflows/fig2sketch.yaml
@@ -24,3 +24,9 @@ jobs:
           author_name: Bot
           author_email: noreply@designers.italia.it
           message: 🤖 update converted Sketch file
+          # Pull before committing, so that HEAD is updated if there
+          # have been any commits while the converter was running.
+          #
+          # `true` would be more elegant once https://github.com/EndBug/add-and-commit/issues/498
+          # is fixed
+          pull: " "