Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Documentation - Adding note and .gitingore change #1043

merged 4 commits into from Apr 20, 2019


None yet
2 participants
Copy link

commented Apr 10, 2019


  • Affected Issues have been mentioned in the Closing issues section

  • Documentation has been written/updated.

  • Changelog entry has been written

  • Small Documentation change

  • Ignoring the site directory as this might get created when running mkdocs locally - this will make sure we don't commit documentation by accident

Changelog Entry

Documentation - Styling
Improvement - Ignoring the site directory when building the documentation locally

Closing issues


dasrecht added some commits Apr 10, 2019

@dasrecht dasrecht merged commit 5b64cd7 into master Apr 20, 2019

1 check passed

continuous-integration/jenkins/pr-merge This commit looks good

@dasrecht dasrecht deleted the doc-adding-note branch Apr 20, 2019

@Schnitzel Schnitzel added this to the v0.23.0 milestone May 15, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.