Correct repo name when collecting coverage