Repository navigation
Release v0.3
Changes
- Fix PR merge tracking to preserve original submission details
Details
When a PR merge was detected, the bot was looking for original PR details in the current monitoring cycle's git_pulls list. This failed for PRs submitted in previous cycles, causing loss of "From" and "Submit Date" fields in the merge notification.
Now retrieves original PR details from persistent pending_prs storage, ensuring submission metadata is preserved regardless of when the PR was originally posted.