Compare commits
10 Commits
76c7be1491
...
fe1d870c72
Author | SHA1 | Date |
---|---|---|
gilesb | fe1d870c72 | |
gilesb | e4e5fa3bb7 | |
gilesb | 2c9853613b | |
gilesb | d2a5bb2f92 | |
gilesb | 8933c9b265 | |
gilesb | b4c50e923f | |
gilesb | a3aeef2f0d | |
gilesb | 31ab815716 | |
gilesb | 858eb0ee57 | |
gilesb | fef87a3c51 |
|
@ -43,8 +43,13 @@ jobs:
|
||||||
- name: push
|
- name: push
|
||||||
run: |
|
run: |
|
||||||
if [[ $(git branch -r | grep -Fx " origin/${{ env.DEVELOPMENT_BRANCH }}" | wc -c) -eq 0 ]]; then
|
if [[ $(git branch -r | grep -Fx " origin/${{ env.DEVELOPMENT_BRANCH }}" | wc -c) -eq 0 ]]; then
|
||||||
git rebase -Xtheirs origin/master
|
ls
|
||||||
git log -5
|
git log -5
|
||||||
|
git status
|
||||||
|
git rebase origin/master --strategy-option=theirs
|
||||||
|
ls
|
||||||
|
git log -4
|
||||||
|
git status
|
||||||
echo no development branch so pushing
|
echo no development branch so pushing
|
||||||
git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }};
|
git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }};
|
||||||
curl https://dl.gitea.com/tea/0.9.2/tea-0.9.2-linux-386 --output tea;
|
curl https://dl.gitea.com/tea/0.9.2/tea-0.9.2-linux-386 --output tea;
|
||||||
|
|
|
@ -36,6 +36,8 @@ jobs:
|
||||||
- uses: http://sigyl.com:3000/actions/checkout@v3.5.4
|
- uses: http://sigyl.com:3000/actions/checkout@v3.5.4
|
||||||
with:
|
with:
|
||||||
token: ${{ secrets.BOT_TOKEN }}
|
token: ${{ secrets.BOT_TOKEN }}
|
||||||
|
- name: tag
|
||||||
|
run: git tag
|
||||||
- name: delete develop branch
|
- name: delete develop branch
|
||||||
id: delete_develop_branch
|
id: delete_develop_branch
|
||||||
run: git push origin --delete ${{ github.head_ref }}
|
run: git push origin --delete ${{ github.head_ref }}
|
||||||
|
|
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
Loading…
Reference in New Issue