diff options
| author | Jorge O. Castro <jorge.castro@gmail.com> | 2018-11-30 13:23:29 -0500 |
|---|---|---|
| committer | Jorge O. Castro <jorge.castro@gmail.com> | 2018-11-30 13:23:29 -0500 |
| commit | 2a9c8c5e6b00eb4c2f64c931164fb6492ed96326 (patch) | |
| tree | 50490629402e19178c8f01cae12e036f06fd2993 /github-management | |
| parent | 5efb2a74765c857fac6e17ae0f37cc3ce2fcca09 (diff) | |
Mention that we'll schedule in the contributor lounge in case of a tie
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions