This repository has been archived by the owner on Mar 17, 2023. It is now read-only.
Allow changing name of script / protocol on the website. #597
Labels
Comments
Stephane-D
changed the title
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
It would be nice to allow to change the name of a protocol or script.
Right now i don't think we have some restrictions for dependencies on it and it would be really helpful to fix stupid typo when we submitted them !
The text was updated successfully, but these errors were encountered: