jjjjj

.gitea/workflows/build->develop.yml

@@ -37,6 +37,18 @@ jobs:
           git config --global user.email "username@users.noreply.github.com"
           git add -A
           git commit -a -m "${{ github.ref_name }} -> ${{ env.DEVELOPMENT_BRANCH }} "
-          git checkout ${{ env.DEVELOPMENT_BRANCH }}
+          git checkout -b ${{ env.DEVELOPMENT_BRANCH }}
           git merge --squash ${{ github.ref_name }}
           git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }}
+      - name: make pull request
+        #git fetch
+        #  git merge origin/master --allow-unrelated-histories --strategy-option=ours
+        #  git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }}
+        run: |
+          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 }}
+          if [[ $(./tea pr ls -f=base,head | grep "| master | ${{ env.DEVELOPMENT_BRANCH }} |" | head -c1 | wc -c) -eq 0 ]]; then
+            ./tea pr c --base=master --head=${{ env.DEVELOPMENT_BRANCH }} --description="development pull request" -t="WIP: ${{ github.event.head_commit.message }}"
+          fi
+          rm ./tea