Re: jEdit core @ Git / GitHub mirror / continuous builds

--===============6175055084809962648==
Content-Type: multipart/alternative; boundary="000000000000de865f063843fc42"

--000000000000de865f063843fc42
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi Bj=C3=B6rn,

I've been out of it for a while, trying to catch up. Thanks for the work on
the git migration! Does that mean that git is now the main source for jEdit
code, or are the svn and git repositories synced so either one works?

On Sat, Mar 22, 2025 at 11:02=E2=80=AFAM Bj=C3=B6rn Kautler <Vampire@jedit.=
org> wrote:

> Hi
>
> Finally it is finished again, sorry for the really long delays.
>
> Also this time each originally SVN revision was checked file-by-file to
> be identical with the Git commits,
> so this time there should not be such a mixed-up state in the history
> like with the last try.
>
> The canonical jEdit core repository can now be found again at
> https://sourceforge.net/p/jedit/jEdit.
>
> Each originally SVN revision is also annotated to the Git commit using
> git-notes, so if you want to find a Git commit by the original SVN
> revision,
> you can after cloning use `git fetch origin refs/notes/*:refs/notes/*`
> to get the commit notes that contain the SVN revisions.
> If after that your Git client does not display the notes, then it
> probably lacks support for them and you should open a feature request.
> Things like `git log`, `gitk`, or `tig` support them, so there you can
> double-check that they are present.
>
> Additional to the canonical repository, I created a read-only mirror at
> https://github.com/jEdit-editor/jEdit/.
> It cron-based mirrors the canonical repository once an hour,
> but it should also mirror immediately after a push to the canonical
> repository as that triggers a webhook that starts the mirroring.
> If that does not work anymore, please drop me a line so I can have a look=
.
>
> For the GitHub repository I also added a GitHub Actions workflow that
> automatically builds jEdit
> on a Linux runner, a Windows runner, and a macOS runner and also
> provides that built artifacts
> as result of the Action run, so now we do not only have daily builds
> again, we even have continuous builds now
> that run directly after each push:
> https://github.com/jEdit-editor/jEdit/actions/workflows/build.yaml
>
> I'll have a look at migrating the plugins' history next.
>
> Cheers
> Bj=C3=B6rn
>
>
> PS: I'm sure you are all aware but just to be sure, please keep in mind
> to use rebase for non-pushed commits, not merge.
>      "Ladder"-histories are really not nice to look at or investigate. :-=
)
>
>
>
> --
> -----------------------------------------------
> jEdit Developers' List
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>

--000000000000de865f063843fc42
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hi Bj=C3=B6rn,<div><br></div><div>I&#39;ve been out of it =
for a while, trying to catch up. Thanks for the work on the git migration! =
Does that mean that git is now the main source for jEdit code, or are the s=
vn and git repositories synced so either one works?</div></div><br><div cla=
ss=3D"gmail_quote gmail_quote_container"><div dir=3D"ltr" class=3D"gmail_at=
tr">On Sat, Mar 22, 2025 at 11:02=E2=80=AFAM Bj=C3=B6rn Kautler &lt;<a href=
=3D"mailto:[email protected]">[email protected]</a>&gt; wrote:<br></div><bl=
ockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-lef=
t:1px solid rgb(204,204,204);padding-left:1ex">Hi<br>
<br>
Finally it is finished again, sorry for the really long delays.<br>
<br>
Also this time each originally SVN revision was checked file-by-file to <br=
>
be identical with the Git commits,<br>
so this time there should not be such a mixed-up state in the history <br>
like with the last try.<br>
<br>
The canonical jEdit core repository can now be found again at <br>
<a href=3D"https://sourceforge.net/p/jedit/jEdit" rel=3D"noreferrer" target=
=3D"_blank">https://sourceforge.net/p/jedit/jEdit</a>.<br>
<br>
Each originally SVN revision is also annotated to the Git commit using <br>
git-notes, so if you want to find a Git commit by the original SVN revision=
,<br>
you can after cloning use `git fetch origin refs/notes/*:refs/notes/*` <br>
to get the commit notes that contain the SVN revisions.<br>
If after that your Git client does not display the notes, then it <br>
probably lacks support for them and you should open a feature request.<br>
Things like `git log`, `gitk`, or `tig` support them, so there you can <br>
double-check that they are present.<br>
<br>
Additional to the canonical repository, I created a read-only mirror at <br=
>
<a href=3D"https://github.com/jEdit-editor/jEdit/" rel=3D"noreferrer" targe=
t=3D"_blank">https://github.com/jEdit-editor/jEdit/</a>.<br>
It cron-based mirrors the canonical repository once an hour,<br>
but it should also mirror immediately after a push to the canonical <br>
repository as that triggers a webhook that starts the mirroring.<br>
If that does not work anymore, please drop me a line so I can have a look.<=
br>
<br>
For the GitHub repository I also added a GitHub Actions workflow that <br>
automatically builds jEdit<br>
on a Linux runner, a Windows runner, and a macOS runner and also <br>
provides that built artifacts<br>
as result of the Action run, so now we do not only have daily builds <br>
again, we even have continuous builds now<br>
that run directly after each push: <br>
<a href=3D"https://github.com/jEdit-editor/jEdit/actions/workflows/build.ya=
ml" rel=3D"noreferrer" target=3D"_blank">https://github.com/jEdit-editor/jE=
dit/actions/workflows/build.yaml</a><br>
<br>
I&#39;ll have a look at migrating the plugins&#39; history next.<br>
<br>
Cheers<br>
Bj=C3=B6rn<br>
<br>
<br>
PS: I&#39;m sure you are all aware but just to be sure, please keep in mind=
 <br>
to use rebase for non-pushed commits, not merge.<br>
=C2=A0=C2=A0=C2=A0=C2=A0 &quot;Ladder&quot;-histories are really not nice t=
o look at or investigate. :-)<br>
<br>
<br>
<br>
-- <br>
-----------------------------------------------<br>
jEdit Developers&#39; List<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">jEdi=
[email protected]</a><br>
<a href=3D"https://lists.sourceforge.net/lists/listinfo/jedit-devel" rel=3D=
"noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/listinfo=
/jedit-devel</a><br>
</blockquote></div>

--000000000000de865f063843fc42--


--===============6175055084809962648==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============6175055084809962648==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel

--===============6175055084809962648==--