You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Dec 10, 2025. It is now read-only.
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