This will automatically push develop
commits to the github sister repository. The README now has a simplified project description and explain the relationship between our github and gitlab repositories.
On Monday, 27th March 9 a.m., the user backend of GitLab will get a reconfiguration. A new login to the web interface may be necessary.
This will automatically push develop
commits to the github sister repository. The README now has a simplified project description and explain the relationship between our github and gitlab repositories.