Publish Github Repository

[jonas-rem]

We discussed about the possibility to make the repository public so that our customers could open issues or contribute via Pull-Requests.

This has not yet been finally decided.

Currently, the html view shows a link to the GitHub repository in the top corner.

• If the repository stays private, we should remove this link.
• If we publish the repository everything can stay as is.

[smk-embedded]

FAEs are informed, we can make that experiment, hopefully we get some feedback