Silence codecov

Created by: Tirokk

Authored by roschaefer Jul 14, 2019 Merged Jul 15, 2019

---

Pullrequest

Recently, codecov was spamming our PRs with useless comments. I think this is the moment, when we could disable codecov comments without worrying. There is also reason for disabling the comments even if they would show a valid code coverage: People just get annoyed and start to turn off Github notifications.

Issues

• None

Todo

• None