codecov: disable PR comments (#135)

This commit is contained in:
Robert van Gent
2019-02-25 12:24:46 -08:00
committed by GitHub
parent f2838ea5ec
commit 7916902074

View File

@@ -1,3 +1,4 @@
comment: off
coverage:
status:
project: