Re: [JPP-Devel] openjump on github

2021-02-18 Thread edgar . soldin
On 14.02.2021 12:09, Michaud Michael wrote: > Hi jumpers, > > I just renamed master to main so that all the code now appear in the default > branch. fine by me > You probably will have to clone again your local repo to have a clean install > reflecting the remote repository. pretty sure that's

Re: [JPP-Devel] OpenJUMP build

2021-02-18 Thread edgar . soldin
On 18.02.2021 19:19, Michaud Michael wrote: > > Hi Ede, jumpers, whoops, busy. forgot to answer your mail about renaming the github branch. ... ok, did that just now. > It seems that the whole build process can be managed from github with github > actions. > > https://docs.github.com/en/actions

Re: [JPP-Devel] OpenJUMP build

2021-02-18 Thread giuseppe . aruta
Hi Michael > I'm tempted to abandon the svn history of our plugins to make the migration >process easier. I would be more encline to clean and uniformize how extensions >are managed than to keep all the bits from the previous repo I am not really expert about it. Anyhow It makes sense to migrate

[JPP-Devel] OpenJUMP build

2021-02-18 Thread Michaud Michael
Hi Ede, jumpers,It seems that the whole build process can be managed from github with github actions.https://docs.github.com/en/actionshttps://docs.github.com/en/actions/guides/building-and-testing-java-with-mavenDo you ever used that ?As you know how the build was done from Sourceforge repositor