[code owner] Remove areveny from her checkers temporarily

[Pierre-Sassoulas]

Type of Changes

	Type
✓	📜 Docs

Description

No availability for review right now, so the automated review request is a bit much. It's possible to stay a pylint member without being spammed for it. (@areveny fyi)

[DanielNoord]

I think it is better to just remove these then and then revert this commit when necessary.

[codecov]

Codecov Report

Merging #8065 (e4a84bc) into main (4a5b4e6) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #8065   +/-   ##
=======================================
  Coverage   95.43%   95.43%           
=======================================
  Files         176      176           
  Lines       18545    18545           
=======================================
  Hits        17698    17698           
  Misses        847      847           

[Pierre-Sassoulas]

I think reverting the commit is harder than removing the # and I feel like this file is a documentation about who master what in the repositories regardless of who actually get pinged for review but feel free to suggest/change/merge :)

[DanielNoord]

I think reverting the commit is harder than removing the # and I feel like this file is a documentation about who master what in the repositories regardless of who actually get pinged for review but feel free to suggest/change/merge :)

Yeah completely agree, but I don't like keeping stuff on main that is dependent on people's live. I completely trust that @areveny hopes to have more time in the future, but we never know if that will actually happen. Feels better to handle that when it actually does.

[DanielNoord]

Thanks!