Merge pull request #867 from NicoleRauch/master

attempt to get wiki notifications to run more reliably.
Removed istanbul-check-coverage because it is not required (yet).
That was doing a bit too much regarding logging...