diff options
| author | Jorge O. Castro <jorge.castro@gmail.com> | 2018-05-10 11:40:44 -0400 |
|---|---|---|
| committer | Jorge O. Castro <jorge.castro@gmail.com> | 2018-05-10 11:40:44 -0400 |
| commit | 630192f8cf6318c16f46e21569ea290bc38b7223 (patch) | |
| tree | f9210d96b63ef28c7d3b3ab7a0a92bba00a7c19f /github-management | |
| parent | d69433890351f7a249ea0f1e52ad2711656a0f32 (diff) | |
Explicitly list the steering committee as the final escalation point
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions