[ CHANGELOG ] Removed blank line
[ release ] Added release source repo to .cabal
[ release ] Removed -Werror
[ .cabal ] Fixed undefined.h path
[ release ] Removed release source repo from .cabal
[ release ] Restored -Werror
[ release ] Added 2.4.2.2 section to CHANGELOG
[ release ] Bumped version to 2.4.2.2
[ releases notes ] Updated agda-releases file

The version from the master branch was copied in the maint-2.4.2
branch.
[ releases notes ] Added step related to the bug tracker
[ releases notes ] The standard library is not released with Agda
[ releases notes ] Choosing the right branch of the standard library
[ releases notes ] Create Everything.agda in the standard library
[ releases notes ] Added .md extension
[ releases notes ] Adding second source-repository in .cabal
[ releases notes ] Tagging after running `cabal check`
[ releases notes ] Running the test-suite

I followed the approach used in agda-releases.
[ releases notes ] Cleaning
[ releases notes ] Latest steps

Update the Agda Wiki and announce the release.
[ releases notes ] Removing second source-repository in .cabal