Skip to content
Snippets Groups Projects
Commit e806087e authored by Markus Scheidgen's avatar Markus Scheidgen
Browse files

Added automatic push of develop to github. 

We now push the most recent changes to develop to github. This allows users on github to fork the project and make contributions via pull requests.

Changelog: Added
parent 3c22e87b
No related branches found
No related tags found
1 merge request!1047Added automatic push of develop to github.
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment