Let NewIssues be the list of issues created by running the issue generator.
Let ExistingIssues be the prod database with persistent state.
To update the prod database:
- Push any issue in
NewIssues and not in ExistingIssues
- Mark as
CLOSED_UNVERIFIED any issues in ExistingIssues and not in NewIssues
Let
NewIssuesbe the list of issues created by running the issue generator.Let
ExistingIssuesbe the prod database with persistent state.To update the prod database:
NewIssuesand not inExistingIssuesCLOSED_UNVERIFIEDany issues inExistingIssuesand not inNewIssues