Re-enable Codecov comments but delay PR notifications#6332

fingolfin merged 1 commit intomastergap-system/gap:masterfrom

mh/codecovgap-system/gap:mh/codecovCopy head branch name to clipboard