-
Notifications
You must be signed in to change notification settings - Fork 314
Closed
Description
At the end of 202505, Elliptic Research, the maintainers of the "proofs" repos will be be dissolving. This issue is tracking making sure that the known open issues are clear for future maintainers.
Desired Repo Status
For each of the repos below, current maintainers should go through the open issues and PRs and:
- Close the issue/PR if it's no longer relevant or worthwhile. If no longer relevant/worthwhile, add an explanatory comment.
- Potential impact of the work (e.g., builds run 20% faster, proving speed may increase by upwards of 20%, proof operation X will take Y% less memory). Specifics are nice, but something regarding impact is better than nothing. Another way to flip this is to answer "what would be the impact if the work never gets done?".
- Sizing of the work in terms of ideal developer day or weeks
- Make clear if the issue is dependent on any other work (ideally with a link to that other work)
- Document the concrete next steps that need to be taken.
I'm assuming the above would be done with a comment like:
Potential impact of this work:
Rough dev effort estimate:
Dependencies:
Next steps:
Repos
Notes
- I grabbed the set of repos from Update permissions in light of Elliptic Research 202505 dissolution github-mgmt#132 that were stated as keeping open (not archiving)
Metadata
Metadata
Assignees
Labels
No labels