ci: remove .pot from gitignore

tarantool · Dec 20, 2023 · 22cdc43 · 22cdc43
1 parent 0952d19
commit 22cdc43
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/push-pot.yml b/.github/workflows/push-pot.yml
@@ -28,7 +28,7 @@ jobs:
             exit 0
           fi
 
-          git add -f locale/en
+          git add locale/en
           git commit -m "updated pot"
           git push origin 3.0 
 
diff --git a/.gitignore b/.gitignore
@@ -29,6 +29,7 @@ webhooks/.env
 
 locale/*
 !locale/ru
+!locale/en
 
 # redundant folders created by sphinx