Remove myself from codeowners (#3230)

Cause i am getting lot of notifications i dont have time to attend

Co-authored-by: Michael Peyton Jones <me@michaelpj.com>
This commit is contained in:
Javier Neira 2022-09-29 17:59:20 +02:00 committed by GitHub
parent 011d110b4c
commit c1d8f78160
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,8 +2,8 @@
/ghcide @pepeiborra
/ghcide/session-loader @pepeiborra @fendor
/hls-graph @pepeiborra
/hls-plugin-api @jneira @berberman
/hls-test-utils @jneira
/hls-plugin-api @berberman
/hls-test-utils
/hie-compat
# Plugins
@ -17,7 +17,7 @@
/plugins/hls-fourmolu-plugin @georgefst
/plugins/hls-gadt-plugin @July541
/plugins/hls-haddock-comments-plugin @berberman @kokobd
/plugins/hls-hlint-plugin @jneira @eddiemundo
/plugins/hls-hlint-plugin @eddiemundo
/plugins/hls-module-name-plugin
/plugins/hls-ormolu-plugin @georgefst
/plugins/hls-pragmas-plugin @berberman @Ailrun @eddiemundo
@ -35,14 +35,14 @@
/shake-bench @pepeiborra
# Docs
/docs @michaelpj @jneira
/docs @michaelpj
# CI
/.circleci @jneira @Anton-Latukha
/.github @jneira @Anton-Latukha @Ailrun
/.gitlab @jneira @hasufell
/.circleci @Anton-Latukha
/.github @Anton-Latukha @Ailrun
/.gitlab @hasufell
# Build
*.nix @berberman @michaelpj @guibou
*.project @jneira
*.project
.gitpod.* @kokobd