[ jEdit-commits ] [ jEdit core ]jEdit jEdit plugin branch master updated. v5.7.0-10-g14cb2e502

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "jEdit jEdit plugin".

The branch, master has been updated
       via  14cb2e50284ccf1d33fecf872260384e7fe04ff1 (commit)
      from  e503d378403c2768d987f086b5f4194274fae865 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit: https://sourceforge.net/p/jedit/jEdit/ci/14cb2e50284ccf1d33fecf872260384e7fe04ff1/
tree: https://sourceforge.net/p/jedit/jEdit/ci/14cb2e50284ccf1d33fecf872260384e7fe04ff1/tree/

commit 14cb2e50284ccf1d33fecf872260384e7fe04ff1
Author: Björn Kautler <Bj...@Ka...>
Date:   Mon Mar 17 04:47:49 2025 +0100

    Include Notes refs in mirroring

diff --git a/.github/workflows/mirror-canonical-repository.main.kts b/.github/workflows/mirror-canonical-repository.main.kts
index ad4877eef..81a75b47f 100755
--- a/.github/workflows/mirror-canonical-repository.main.kts
+++ b/.github/workflows/mirror-canonical-repository.main.kts
@@ -32,6 +32,11 @@ workflow(
             command = "git clone --bare git://git.code.sf.net/p/jedit/\${GITHUB_REPOSITORY#\$GITHUB_REPOSITORY_OWNER/} ."
         )
 
+        run(
+            name = "Fetch Notes Refs",
+            command = "git fetch origin refs/notes/*:refs/notes/*"
+        )
+
         val MIRROR_TOKEN by secrets
         run(
             name = "Push To Mirror Repository",
diff --git a/.github/workflows/mirror-canonical-repository.yaml b/.github/workflows/mirror-canonical-repository.yaml
index c2ce9a641..b0477745b 100644
--- a/.github/workflows/mirror-canonical-repository.yaml
+++ b/.github/workflows/mirror-canonical-repository.yaml
@@ -33,5 +33,8 @@ jobs:
       name: 'Clone Canonical Repository'
       run: 'git clone --bare git://git.code.sf.net/p/jedit/${GITHUB_REPOSITORY#$GITHUB_REPOSITORY_OWNER/} .'
     - id: 'step-1'
+      name: 'Fetch Notes Refs'
+      run: 'git fetch origin refs/notes/*:refs/notes/*'
+    - id: 'step-2'
       name: 'Push To Mirror Repository'
       run: 'git push --mirror https://x:${{ secrets.MIRROR_TOKEN }}@github.com/${{ github.repository }}'

-----------------------------------------------------------------------

Summary of changes:
 .github/workflows/mirror-canonical-repository.main.kts | 5 +++++
 .github/workflows/mirror-canonical-repository.yaml     | 3 +++
 2 files changed, 8 insertions(+)


hooks/post-receive
-- 
jEdit jEdit plugin