informalsystems / informalsystems/emerald
chore: Rename to Emerald
Open
- Dominant language
- Rust
- Stars
- 25
- Forks
- 9
- PR merge metrics
- No merged PRs in 30d
Description
Rename:
- [x] App https://github.com/informalsystems/emerald/pull/81
- [x] Workflows https://github.com/informalsystems/emerald/pull/102
- [x] Code references to `malaketh` https://github.com/informalsystems/emerald/pull/102
- [x] Repository
- [x] Documentation (README/. Contributing etc). - Add a list of files what we modified
- [ ] Add copyright headers in modified files.
Contributor guide
Assessment
This issue has not been assessed yet.