doesn’t appear that the github kill-duplicate-prs feature works if the prior dupe job has already started 😞