Compare commits

...

10 Commits

Author SHA1 Message Date
giles 4dcd41ad18 build/rebase-9 -> develop/rebase-9
build-develop-branch / delete (pull_request) Successful in 14s Details
build-develop-branch / if_merged (pull_request) Has been skipped Details
2023-10-23 14:52:46 +00:00
gilesb 949dd00a15 ..... 2023-10-23 14:52:46 +00:00
gilesb 6d7273301e ..... 2023-10-23 14:52:46 +00:00
gilesb 40a1fcfe28 ... 2023-10-23 14:52:46 +00:00
gilesb dac795a10a ... 2023-10-23 14:52:46 +00:00
gilesb 1727b37330 ... 2023-10-23 14:52:46 +00:00
gilesb 3ee4be6e34 ....... 2023-10-23 14:52:46 +00:00
gilesb 95bbbcae22 ..... 2023-10-23 14:52:46 +00:00
gilesb b9bb3344bf ..... 2023-10-23 14:52:46 +00:00
giles 162ac5a379 develop/rebase -> build/rebase 2023-10-23 14:52:46 +00:00
2 changed files with 4 additions and 5 deletions

View File

@ -42,11 +42,9 @@ jobs:
echo $(git branch -r | grep -Fx " origin/${{ env.DEVELOPMENT_BRANCH }}" | wc -c)
- name: push
run: |
git add -A
git commit -a -m "${{ github.ref_name }} -> ${{ env.DEVELOPMENT_BRANCH }} "
if [[ $(git branch -r | grep -Fx " origin/${{ env.DEVELOPMENT_BRANCH }}" | wc -c) -eq 0 ]]; then
git rebase origin/master
git rebase origin/master --strategy-option theirs
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

@ -44,7 +44,7 @@ jobs:
git push origin HEAD:${{ env.BUILD_BRANCH }};
else
if [[ $(git diff origin/${{ env.BUILD_BRANCH }} | wc -c) -ne 0 ]]; then
git rebase origin/${{ env.BUILD_BRANCH }}
git rebase origin/${{ env.BUILD_BRANCH }} --strategy ours
git push origin HEAD:${{ env.BUILD_BRANCH }}
else
echo 'no changes so no push'
@ -55,6 +55,7 @@ jobs:
curl https://dl.gitea.com/tea/0.9.2/tea-0.9.2-linux-386 --output tea
chmod +x ./tea
./tea login add -n=this --url=${{ github.server_url}} -t=${{ secrets.BOT_TOKEN }}
./tea pr ls -f=base,head -o=csv
if [[ $(./tea pr ls -f=base,head -o=csv | grep "\"master\",\"${{ github.ref_name }}\"" | head -c1 | wc -c) -eq 0 ]]; then
./tea pr c --base=master --head=${{ github.ref_name }} --description="
development pull request