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.
