diff options
| author | Jorge O. Castro <jorge.castro@gmail.com> | 2018-10-30 12:15:52 -0400 |
|---|---|---|
| committer | Jorge O. Castro <jorge.castro@gmail.com> | 2018-10-30 12:15:52 -0400 |
| commit | e604059f222757e3e80d575023871eee2c6f621a (patch) | |
| tree | 2eb36547ac69afbe41f2d1660edcafb3d4f46fd3 /github-management | |
| parent | 127242833c911b3982ed0f7560e8e7045bc1a1d0 (diff) | |
Encourage WGs to defer to using an existing list as a first option
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions