remove dist directory after publish

2023-06-01 10:59:52 +02:00
parent c17d9c4a73
commit 45cf95aa22
1 changed files with 3 additions and 1 deletions
@@ -1,4 +1,6 @@
 call npm run build
 call git add dist -f
 call git commit -m 'publish'
-call git subtree push --prefix dist origin gh-pages
+call git subtree push --prefix dist origin gh-pages
+call git reset HEAD~1
+call git rm dist -r