another-user
/
batch-example
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases 143 Wiki Activity

Merge pull request 'kkkkk' (#132) from develop/now into master 

Reviewed-on: #132
This commit is contained in:
giles 2023-10-23 02:15:55 +00:00
parent 1543d4fee5 9f7b5c781e
commit 0e07bfc4e7
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitea/workflows/format->develop.yml
View File

@ -31,7 +31,7 @@ jobs:
git clone ${{ github.serverUrl }}/${{ github.repository }} ../cloned git clone ${{ github.serverUrl }}/${{ github.repository }} ../cloned
git -C ../cloned fetch origin #--depth=1 git -C ../cloned fetch origin #--depth=1
git -C ../cloned branch -r git -C ../cloned branch -r
git -C ../cloned switch $DEVELOPMENT_BRANCH git -C ../cloned switch $DEVELOPMENT_BRANCH || git -C ../cloned checkout -b $DEVELOPMENT_BRANCH
mv ../cloned/.git .. mv ../cloned/.git ..
rm -rf ../cloned rm -rf ../cloned
cp -r . ../cloned cp -r . ../cloned

2
.gitea/workflows/tag->deploy.yml
View File

@ -31,4 +31,4 @@ jobs:
git config --global user.email "username@users.noreply.github.com" git config --global user.email "username@users.noreply.github.com"
git add -A git add -A
git commit -a -m "${{ github.ref_name }} -> refs/heads/deployed/${{ github.ref_name }} " git commit -a -m "${{ github.ref_name }} -> refs/heads/deployed/${{ github.ref_name }} "
git push origin HEAD:refs/heads/deployed-${{ github.ref_name }} git push origin HEAD:refs/heads/deployed/${{ github.ref_name }}