fix: duplicate-GitHub penalty wipes stale_closed_pull_requests to prevent post-penalty storage (#1006) - #1131

fix: duplicate-GitHub penalty wipes stale_closed_pull_requests to prevent post-penalty storage (#1006)#1131

alpurkan17 wants to merge 1 commit into

entrius:testentrius/gittensor:testfrom

alpurkan17:fix/1006-stale-closed-pr-penaltyalpurkan17/gittensor:fix/1006-stale-closed-pr-penaltyCopy head branch name to clipboard