Compare commits

..

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

4 changed files with 1 additions and 10 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 rebase -Xtheirs origin/master
git log -5
git status
git rebase origin/master --strategy-option=ours
ls
git log -5
git status
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