-
Notifications
You must be signed in to change notification settings - Fork 14
Closed
Description
Time has come again for a rename. And we should do it asap. But I wondered if to simplify we should just merge all PRs which are in good state (not failing tests) first, even though they are WiP, and then proceed from there?
TODOs:
- codebase renames (RF: NICEMAN -> ReproMan #362)
- Add to README information about prior name
- rename repo
- rename pypi/debian packages
- add instructions for config renames etc
Metadata
Metadata
Assignees
Labels
No labels