Skip to content

Commit 0875908

Browse files
authored
fix: add a few editors manually (#948)
1 parent 7494ed0 commit 0875908

1 file changed

Lines changed: 23 additions & 0 deletions

File tree

data/manual-editorial-roster.yml

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
# Hand-maintained editorial roster overrides.
2+
# People who cannot / will not be on GitHub org teams.
3+
# Merged by update-editorial-board after team fetch. Do not overwrite
4+
# this file from CI.
5+
#
6+
# editor: true → editorial-board.yml (active editor)
7+
# emeritus_editor: true → emeritus-editors.yml
8+
# Specialty flags optional (eic, triage, emeritus_eic, …).
9+
10+
jbencook:
11+
name: Ben Cook
12+
note: "Not on GitHub teams; keep as emeritus editor"
13+
emeritus_editor: true
14+
15+
dhomeier:
16+
name: Derek Homeier
17+
note: "Not on GitHub teams; keep as active editor"
18+
editor: true
19+
20+
russbiggs:
21+
name: Russ Biggs
22+
note: "Not on GitHub teams; keep as emeritus editor"
23+
emeritus_editor: true

0 commit comments

Comments
 (0)