Skip to content
This repository has been archived by the owner on Jun 12, 2024. It is now read-only.

Describe mechanized patches #13

Open
bswck opened this issue Dec 9, 2023 · 0 comments
Open

Describe mechanized patches #13

bswck opened this issue Dec 9, 2023 · 0 comments

Comments

@bswck
Copy link
Member

bswck commented Dec 9, 2023

Mechanized patches are made by running $ poe reanswer.

After reanswer, find what answers were changed and include the changes in the mechanized patch commit.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@bswck