Closed gitr0n1n closed 2 years ago
Add github handles for authors
We already do this in practice, so just updating the document to reflect the processes that are being followed to date as people choose their github name or their email.
Add github handles for authors