Merge pull request '.' (#95) from develop-1000 into master

Reviewed-on: #95
2023-10-22 15:24:43 +00:00 · 2023-10-22 15:24:43 +00:00 · 15b065dda2
parent e5f1d29590 2967620b0e
commit 15b065dda2
1 changed files with 1 additions and 1 deletions
--- a/.gitea/workflows/pr-closed.yml
+++ b/.gitea/workflows/pr-closed.yml
@ -11,4 +11,4 @@ jobs:
    runs-on: ubuntu-latest
    steps:
    - run: |
-        echo The PR was merged
+        echo The PR was merged into ${{ github.event.pull_request.base }} from ${{ github.ref_name }}