Update LIRMM repository

[CK-Explorer]

Hi Benjamin, how can I update the project in LIRMM repo?

[BenjaminNavarro]

It's up to @passama to do it now since I'm not at LIRMM anymore

[passama]

Done. Be warn that I am not a member of this project so I cannot push back any modification from LIRMM's gitlab. Automatic mirrorring to github also no more work, probably due to new github security policy.

[CK-Explorer]

Noted, it's too bad that mirroring is not working. Thanks Benjamin and passama in looking into this issue, and update the repo.

[passama]

Basically if @BenjaminNavarro register me as member of this project I can try to solve this issue ;-)

[passama]

thanks Benjamin !

[BenjaminNavarro]

Done. We can also move the project to LIRMM's Github account if that's easier for you Robin

[passama]

Yes why not. This could also help you to avoid unwanted notifications ;-)

[BenjaminNavarro]

Project moved. I should check if I have some other repos that should be moved as well

[passama]

Thanks a lot !