tlaplus / tlaplus/CommunityModules
Remove Json module
Open
Nobody has claimed this yet.
- Dominant language
- TLA
- Stars
- 315
- Forks
- 48
- Avg merge
- 13h 27m
- Merged PRs (30d)
- 2
Description
To prevent it from getting out of sync with the version in the standard modules. See https://github.com/tlaplus/tlaplus/issues/764#issuecomment-1265650057.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Locate the Json module in the CommunityModules repository and read the linked TLA+ issue comment for the rationale and standard-module counterpart. Confirm which repository references depend on it before removing the duplicate, then verify that the repository no longer contains the out-of-sync module.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Refactor
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100