Re: jEdit core @ Git / GitHub mirror / continuous builds
Björn Kautler <[email protected]> Mon, 7 Jul 2025 02:04:53 +0200
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format. --===============0185878731284362930== Content-Type: multipart/alternative; boundary="------------IC1gCIYBCCNZX2XGgOzsh0P0" Content-Language: en-US This is a multi-part message in MIME format. --------------IC1gCIYBCCNZX2XGgOzsh0P0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Hi Dale, sorry, I was on vacation. Nice to see you back. Yes, as I wrote, the canonical repository / source of truth is now the Git repository at SourceForge with a read-only mirror at GitHub, first and foremost for now to use GitHub Actions as CI environment. There is no sync happening between Git and SVN, in SVN you only find a gravestone redirecting you to Git. The Git repository is now also a combination of all jEdit history, including things only laying around on Slava's disk, GJT CVS, SF CVS, and SF SVN. This is only true for the jEdit core repository though if that was unclear. I'll migrate those over to Git too. But first I prepared some additional niceties for jEdit core, that I will polish and test some more, now that I'm back from vacation and then push and write to the dev list about it. Cheers Björn Am 23.06.2025 um 23:35 schrieb Dale Anson: > Hi Björn, > > 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 AM Björn Kautler <[email protected]> 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örn > > > 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 > --------------IC1gCIYBCCNZX2XGgOzsh0P0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit <!DOCTYPE html> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body> <p>Hi Dale,</p> <p>sorry, I was on vacation.<br> Nice to see you back.<br> <br> Yes, as I wrote, the canonical repository / source of truth is now the Git repository at SourceForge<br> with a read-only mirror at GitHub, first and foremost for now to use GitHub Actions as CI environment.<br> There is no sync happening between Git and SVN, in SVN you only find a gravestone redirecting you to Git.<br> <br> The Git repository is now also a combination of all jEdit history,<br> including things only laying around on Slava's disk, GJT CVS, SF CVS, and SF SVN.<br> <br> This is only true for the jEdit core repository though if that was unclear.<br> I'll migrate those over to Git too.<br> But first I prepared some additional niceties for jEdit core, that I will polish and test some more,<br> now that I'm back from vacation and then push and write to the dev list about it.</p> <p>Cheers<br> Björn</p> <p><br> </p> <div class="moz-cite-prefix">Am 23.06.2025 um 23:35 schrieb Dale Anson:<br> </div> <blockquote type="cite" cite="mid:CAHrA0wCky6ascWHiy_UyK2J30+7t=7Tj5V2-ux9C6P3B7dLH4A@mail.gmail.com"> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <div dir="ltr">Hi Björn, <div><br> </div> <div>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?</div> </div> <br> <div class="gmail_quote gmail_quote_container"> <div dir="ltr" class="gmail_attr">On Sat, Mar 22, 2025 at 11:02 AM Björn Kautler <<a href="mailto:[email protected]" moz-do-not-send="true" class="moz-txt-link-freetext">[email protected]</a>> wrote:<br> </div> <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left: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="https://sourceforge.net/p/jedit/jEdit" rel="noreferrer" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">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="https://github.com/jEdit-editor/jEdit/" rel="noreferrer" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">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="https://github.com/jEdit-editor/jEdit/actions/workflows/build.yaml" rel="noreferrer" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">https://github.com/jEdit-editor/jEdit/actions/workflows/build.yaml</a><br> <br> I'll have a look at migrating the plugins' history next.<br> <br> Cheers<br> Björn<br> <br> <br> PS: I'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> "Ladder"-histories are really not nice to look at or investigate. :-)<br> <br> <br> <br> -- <br> -----------------------------------------------<br> jEdit Developers' List<br> <a href="mailto:[email protected]" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">[email protected]</a><br> <a href="https://lists.sourceforge.net/lists/listinfo/jedit-devel" rel="noreferrer" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">https://lists.sourceforge.net/lists/listinfo/jedit-devel</a><br> </blockquote> </div> </blockquote> </body> </html> --------------IC1gCIYBCCNZX2XGgOzsh0P0-- --===============0185878731284362930== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============0185878731284362930== 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 --===============0185878731284362930==--