Table of Contents

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:

  1. Go to the dataminer-docs repository on GitHub.

  2. In the top-left corner, select Issues.

  3. Select New issue.

  4. Choose a title for the issue and leave a comment.

  5. Select Submit new issue.

The Skyline documentation team will review the issue and provide you with feedback.