l
envoyé : 15 août 2020 à 12:36
de : Eric
à : jump-pilot-devel@lists.sourceforge.net
objet : Re: [JPP-Devel] Git migration
Hi Ede,
On 15/08/2020 11:19, edgar.sol...@web.de wrote:
On 15.08.2020 12:07, Eric wrote:
>> Hi all,>>
>> After 5-6 hours, the result of the migration
Thanks for you effort,I pushed a small modification in the pom to test that I can access and compile the project. Could compile after that. Was just a test, don't hesitate if you have to restart the process from scratch.Michaël envoyé : 15 août 2020 à 12:36de : Eric à : jump-pilot-devel@lists.sou
Hi Ede,
On 15/08/2020 11:19, edgar.sol...@web.de wrote:
On 15.08.2020 12:07, Eric wrote:
Hi all,
After 5-6 hours, the result of the migration is finally complete:
https://github.com/openjump-gis/openjump-migration
It includes the commit history from revision 859 to 6242.
just checked, we'll
On 15.08.2020 12:07, Eric wrote:
> Hi all,
>
> After 5-6 hours, the result of the migration is finally complete:
> https://github.com/openjump-gis/openjump-migration
>
> It includes the commit history from revision 859 to 6242.
just checked, we'll lose some commits to the source this way. did you
Hi all,
After 5-6 hours, the result of the migration is finally complete:
https://github.com/openjump-gis/openjump-migration
It includes the commit history from revision 859 to 6242.
I reinitialised the repository 'openjump-migration' to make easier this
initial import, i.e. I deleted it and
