Privacy policy

GitHub Pages Service

This Website is hosted as a GitHub Pages website. GitHub may collect User Personal Information from visitors to this GitHub Pages website, including logs of visitor IP addresses, to comply with legal obligations, and to maintain the security and integrity of this Website and the Service. See the GitHub Privacy Statement for details.

This Website

This Website does not collect data or use cookies by default.

In order to improve the content and the experience on the website we kindly ask you to allow the usage of site analytics. If you opt-in to this service we use cookies to collect anonymous usage data.

Opt-in for Google Analytics

You can opt-in for site analytics, in this opt-in notice

Opt-in notice

  • If you Opt-in we use site analytics to collect your anonymous resource usage data.
  • If you close x this notice, no data will be collected.
  • We use a cookie to remember your decision.

After your opt-in we use Google Analytics tracking on this website, which uses cookies for this purpose.

We are interested in understanding

  • what pages you visited and for how long,
  • what site referred you to this web page,
  • what types of content and topic areas you are interested in,
  • including what content or sections never get viewed or used.

Your IP-Adress is anonymized, so we do not store wether you have been to the site before.

Do not track

We respect your Do-Not-Track settings if your browser requests this.

This means, you will never see the above opt-in notice, if you configured your browser for Do-Not-Track. No cookies will be set. Google Analytics will not be used.

Linked services

This website contains links to other services. If you follow these links you should become aware of their terms of service.

We link to:

  • GitHub for documentation, compiler and tools repositories.

  • Google Groups for Blech user questions.

  • Slack for Blech developer discussions.

  • Twitter for announcements.

Additional links might occur in the documentation and the blog posts.

Manage cookies

You can manually delete and restrict the use of cookies in your web browser.

Learn how to manage cookies for:

Last modified June 16, 2020: Opt-in improved (3876e6e)