Josh Stein
Josh Stein
Updated script for new versions and moved repo: https://github.com/jcstein/devrel-tools/blob/main/gm/gm-ci.sh - [ ] test with local-celestia-dev net
I think I will need the devops team to take this over so it can be prioritized
This is where I had left off last https://github.com/rollkit/docs/pull/113
will open a new PR for this
or [Succinct.xyz](http://succinct.xyz/)
Changing this to CIP-19 as #77 is CIP-18
@zmanian can you please change the file name to `cip-19.md`?
once this is ready for review and merge, we'll assign it the next CIP number. until ready for review, I think we can leave it as-is
I'll mark as draft again as to prevent an accidental early merge :)
Do the parameters update based on what is on mainnet already? https://celestiaorg.github.io/celestia-app/specs/parameters.html