Compare commits

..

No commits in common. "67bf6a08ad1e835463dd927232fb1e591b101c8d" and "76c7be1491d0dea9d6b07bd1f15202fc043314f7" have entirely different histories.

4 changed files with 2 additions and 11 deletions

View File

@ -43,13 +43,8 @@ jobs:
- name: push
run: |
if [[ $(git branch -r | grep -Fx " origin/${{ env.DEVELOPMENT_BRANCH }}" | wc -c) -eq 0 ]]; then
ls
git log -20
git status
git rebase origin/master --strategy-option=ours
ls
git log -20
git status
git rebase -Xtheirs origin/master
git log -5
echo no development branch so pushing
git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }};
curl https://dl.gitea.com/tea/0.9.2/tea-0.9.2-linux-386 --output tea;

View File

@ -36,8 +36,6 @@ jobs:
- uses: http://sigyl.com:3000/actions/checkout@v3.5.4
with:
token: ${{ secrets.BOT_TOKEN }}
- name: tag
run: git tag
- name: delete develop branch
id: delete_develop_branch
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