pom.xml: changes-plugin: only github report
More documentation
Merge branch 'maven' into develop
Merge branch 'docs' into develop