Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

AIP naming #208

Open
sakulstra opened this issue Oct 26, 2022 · 0 comments
Open

AIP naming #208

sakulstra opened this issue Oct 26, 2022 · 0 comments

Comments

@sakulstra
Copy link
Collaborator

currently AIP naming is somewhat arbitrary.
The repo ensures collision free naming as it's just filesystem, so no name can appear twice.
Anyhow it's kind of a pain to ensure reasonable file naming.

My suggestion would be for the merge ci to:
a) read the title from the merged markdown -> rename the file to UPPERCASE_TITLE
b) check via ethers for deployed proposals -> prefix the aip with the proposalId to ID_UPPERCASE_TITLE

In theory we could also do both I guess.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant