Closed moosichu closed 6 years ago
This change means that now the workshop manger indexes workshops by their IDs instead of their repo names as well.
Fixes #243 and fixes #254 .
This change means that now the workshop manger indexes workshops by their IDs instead of their repo names as well.
Fixes #243 and fixes #254 .