ManageIQ
Keep inventory of merged PRs
We don't keep an inventory of already merged PRs. The way it works is that we ask GitHub about all of the open PRs, then we just delete the rows for ones that aren't in that query. There are a number of enhancement that would require this to be implemented first.
Opening this issue separate to create a feature dependency tree, but also because I can't think of how to do this in an efficient way. There may also be "partial" implementations, such as instead of deleting from our DB, we just change the status, but this might miss transient PRs that come and go while the bot is down, and we never knew about them in the first place. Additionally, there may be issues for the "first time" the bot sees a repo where it will pull in ALL of the old PRs, but we may not want it to process those.
This issue has been automatically marked as stale because it has not been updated for at least 3 months.
If you can still reproduce this issue on the current release or on master, please reply with all of the information you have about it in order to keep the issue open.
Thank you for all your contributions! More information about the ManageIQ triage process can be found in the traige process documentation.
