force github to re-fetch the coverage badge