Re: modernizing the build process: github/actions, maven central, etc.
"Matthieu Casanova" <[email protected]> Sat, 16 Sep 2023 22:15:05 +0200
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
--===============8346489235567511711== Content-Type: multipart/alternative; boundary=6080c769022c470ea7d0247bf8f702dd --6080c769022c470ea7d0247bf8f702dd Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: quoted-printable Hey, about github vs Sourceforge I must say that I use Github a lot for vario= us projects and I find it is much more fluid to work with it than Source= forge which failed to evolve. But in any case before making such move the first thing to do would be t= o migrate to git which would be very nice but is also a time consuming t= ask. --=20 Matthieu Casanova [email protected] Lun 12 juin 2023, =C3=A0 11:44, Vampire a =C3=A9crit=E2=80=AF: > Hi again >=20 > Forgot to say, whether we "move" to GitHub or just mirror the code is = a completely different discussion. > While many projects went away from SourceForge, this is not really man= datory. > SourceForge is not dead to my knowledge and also provides much more po= ssibilities and flexibility. > For example, for the things already in Git repositories we have our ow= n Git hooks running on the SourceForge repos that are not possible on Gi= tHub and so on. >=20 > Regards > Bj=C3=B6rn >=20 > Am Mo., 12. Juni 2023 um 11:41 Uhr schrieb Vampire <[email protected]>: >> Hi David >>=20 >> I know I horribly failed in doing the Git-migration in a timely manne= r, >> but I'm going to soon pick up where I left off and finally finish the= Git migration of the source code, >> I was just unfortunately interrupted again by some paid work. :-( >>=20 >> There is no need for the `jedit-project` org on GitHub you just invit= ed me to though. >> We already have `jedit-editor` on GitHub, `jedit` group on GitLab, an= d the `jEdit` workspace on Bitbucket, >> and I'm still hoping to get contact to the seemingly unused `jedit` a= ccount on GitHub to also there get the name. >>=20 >> Once I finished the Git-migration of the main repo and also the plugi= ns, I would at least put some mirroring up to have the code also on GitH= ub and maybe the others. >> And I'm also planning to then use GitHub actions for building, especi= ally as you can build on macOS for free which we need for building the m= acOS distributable. >> Actually I'm already "abusing" one of my other GitHub projects' GitHu= b actions to do the macOS build on releases, so I know it works as inten= ded. >>=20 >> Best regards >> Bj=C3=B6rn >>=20 >>=20 >> Am Mo., 12. Juni 2023 um 11:07 Uhr schrieb David Ankin <daveankin+jed= [email protected] <mailto:daveankin%[email protected]>>: >>> Hi folks, >>>=20 >>> I would like to create an official home for this project on github, = resume publishing versions of the library (or reusable pieces?) to maven= central - i believe this would be beneficial to both users and develope= rs as it would encourage people to view the project as living rather tha= n dead and unmaintained. its sort of an inevitable association with sour= ce forge. >>>=20 >>> if anyone is interested in making this a reality, let me know. >>>=20 >>> best, >>> David >>> --=20 >>> ----------------------------------------------- >>> jEdit Users' List >>> [email protected] >>> https://lists.sourceforge.net/lists/listinfo/jedit-users >=20 > --=20 > ----------------------------------------------- > jEdit Users' List > [email protected] > https://lists.sourceforge.net/lists/listinfo/jedit-users >=20 --6080c769022c470ea7d0247bf8f702dd Content-Type: text/html;charset=utf-8 Content-Transfer-Encoding: quoted-printable <!DOCTYPE html><html><head><title></title><style type=3D"text/css">p.Mso= Normal,p.MsoNoSpacing{margin:0}</style></head><body><div style=3D"font-f= amily:Arial;">Hey,<br></div><div style=3D"font-family:Arial;">about gith= ub vs Sourceforge I must say that I use Github a lot for various project= s and I find it is much more fluid to work with it than Sourceforge whic= h failed to evolve.<br></div><div style=3D"font-family:Arial;">But in an= y case before making such move the first thing to do would be to migrate= to git which would be very nice but is also a time consuming task.</div= ><div style=3D"font-family:Arial;"><br></div><div id=3D"sig19919457"><di= v class=3D"signature">-- <br></div><div class=3D"signature"> = Matthieu Casanova<br></div><div class=3D"signature"> <a href=3D= "mailto:[email protected]">[email protected]</a><br></div><div= class=3D"signature"><br></div></div><div style=3D"font-family:Arial;"><= br></div><div>Lun 12 juin 2023, =C3=A0 11:44, Vampire a =C3=A9crit=E2=80= =AF:<br></div><blockquote type=3D"cite" id=3D"qt" style=3D""><div dir=3D= "ltr"><div>Hi again<br></div><div><br></div><div>Forgot to say, whether = we "move" to GitHub or just mirror the code is a completely different di= scussion.<br></div><div>While many projects went away from SourceForge, = this is not really mandatory.<br></div><div>SourceForge is not dead to m= y knowledge and also provides much more possibilities and flexibility.<b= r></div><div>For example, for the things already in Git repositories we = have our own Git hooks running on the SourceForge repos that are not pos= sible on GitHub and so on.<br></div><div><br></div><div>Regards<br></div= ><div>Bj=C3=B6rn<br></div></div><div><br></div><div class=3D"qt-gmail_qu= ote"><div dir=3D"ltr" class=3D"qt-gmail_attr">Am Mo., 12. Juni 2023 um 1= 1:41 Uhr schrieb Vampire <<a href=3D"mailto:[email protected]">V= [email protected]</a>>:<br></div><blockquote class=3D"qt-gmail_quote" = style=3D"margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0= .8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb= (204, 204, 204);padding-left:1ex;"><div dir=3D"ltr"><div>Hi David<br></d= iv><div><br></div><div>I know I horribly failed in doing the Git-migrati= on in a timely manner,<br></div><div>but I'm going to soon pick up where= I left off and finally finish the Git migration of the source code,<br>= </div><div>I was just unfortunately interrupted again by some paid&= nbsp;work. :-(<br></div><div><br></div><div>There is no need for the `je= dit-project` org on GitHub you just invited me to though.<br></div><div>= We already have `jedit-editor` on GitHub, `jedit` group on GitLab, and t= he `jEdit` workspace on Bitbucket,<br></div><div>and I'm still hoping to= get contact to the seemingly unused `jedit` account on GitHub to also t= here get the name.<br></div><div><br></div><div>Once I finished the Git-= migration of the main repo and also the plugins, I would at least put so= me mirroring up to have the code also on GitHub and maybe the others.<br= ></div><div>And I'm also planning to then use GitHub actions for buildin= g, especially as you can build on macOS for free which we need for build= ing the macOS distributable.<br></div><div>Actually I'm already "abusing= " one of my other GitHub projects' GitHub actions to do the macOS build = on releases, so I know it works as intended.<br></div><div><br></div><di= v>Best regards<br></div><div>Bj=C3=B6rn<br></div><div><br></div></div><d= iv><br></div><div class=3D"qt-gmail_quote"><div dir=3D"ltr" class=3D"qt-= gmail_attr">Am Mo., 12. Juni 2023 um 11:07 Uhr schrieb David Ankin = <<a href=3D"mailto:daveankin%[email protected]" target=3D"_blank">dav= [email protected]</a>>:<br></div><blockquote class=3D"qt-gmail_q= uote" style=3D"margin-top:0px;margin-right:0px;margin-bottom:0px;margin-= left:0.8ex;border-left-width:1px;border-left-style:solid;border-left-col= or:rgb(204, 204, 204);padding-left:1ex;"><div dir=3D"ltr"><div class=3D"= qt-gmail_quote"><div dir=3D"ltr" class=3D"qt-gmail_attr">Hi folks,<br></= div><div dir=3D"ltr"><div><br></div><div>I would like to create an offic= ial home for this project on github, resume publishing versions of the l= ibrary (or reusable pieces?) to maven central - i believe this would be = beneficial to both users and developers as it would encourage peopl= e to view the project as living rather than dead and unmaintained. its s= ort of an inevitable association with source forge.<br></div><div><br></= div><div>if anyone is interested in making this a reality, let me know.<= br></div><div><br></div><div>best,<br></div><div>David<br></div></div></= div></div><div>-- <br></div><div> --------------------------------------= ---------<br></div><div> jEdit Users' List<br></div><div> <a href=3D"mai= lto:[email protected]" target=3D"_blank">jEdit-users@lis= ts.sourceforge.net</a><br></div><div> <a href=3D"https://lists.sourcefor= ge.net/lists/listinfo/jedit-users" rel=3D"noreferrer" target=3D"_blank">= https://lists.sourceforge.net/lists/listinfo/jedit-users</a><br></div></= blockquote></div></blockquote></div><div><br></div><div>-- <br></di= v><div>-----------------------------------------------<br></div><div>jEd= it Users' List<br></div><div><a href=3D"mailto:[email protected]= orge.net">[email protected]</a><br></div><div><a href=3D= "https://lists.sourceforge.net/lists/listinfo/jedit-users">https://lists= .sourceforge.net/lists/listinfo/jedit-users</a><br></div><div><br></div>= </blockquote><div style=3D"font-family:Arial;"><br></div></body></html> --6080c769022c470ea7d0247bf8f702dd-- --===============8346489235567511711== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============8346489235567511711== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users --===============8346489235567511711==--