Reporting an issue
GitHub offers the possibility to report an issue. This feature can be used if you think information is missing or notice a mistake but are unsure of how to change it using the web editor or GitHub Desktop. You can report an issue as follows:
Go to the dataminer-docs repository on GitHub.
In the top-left corner, select Issues.
Select New issue.
Choose a title for the issue and leave a comment.
Select Submit new issue.
The Skyline documentation team will review the issue and provide you with feedback.