This repository has been archived by the owner on Jun 27, 2023. It is now read-only.

Transition from challenge ID#s to names #296

Open

Matir opened this issue Mar 9, 2021 · 0 comments

Member

Matir commented Mar 9, 2021

Names make more sense from an administrative PoV.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.