This commit is contained in:
parent
dbacb41f58
commit
b7ac3dfa8c
1 changed files with 4 additions and 2 deletions
|
@ -14,13 +14,15 @@ jobs:
|
||||||
|
|
||||||
- name: Update dependencies and open PR if necessary
|
- name: Update dependencies and open PR if necessary
|
||||||
run: |
|
run: |
|
||||||
|
shopt -s extglob
|
||||||
|
rm -- !(result)
|
||||||
cp -r result/* .
|
cp -r result/* .
|
||||||
rm result
|
rm result
|
||||||
git switch -C pages
|
git switch -C pages
|
||||||
git add *
|
git add *
|
||||||
|
|
||||||
git config user.name "DGNum Chores"
|
git config user.name "DGNum Deploy"
|
||||||
git config user.email "tech@dgnum.eu"
|
git config user.email "tech@dgnum.eu"
|
||||||
|
|
||||||
git commit --message "chore(npins): Update"
|
git commit --message "Deploy site"
|
||||||
git push --set-upstream origin pages --force
|
git push --set-upstream origin pages --force
|
||||||
|
|
Loading…
Reference in a new issue