Skip to content

Added automatic push of develop to github.

Markus Scheidgen requested to merge github into develop

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.

Merge request reports