ghc-boring/.gitignore