Bug #13501
Updated by Nathan Cutler over 8 years ago
Scenario: Person A opens PR#5335 with "Fixes: #5821" in the PR description. Here #5821 refers to the tracker issue, but github doesn't know that. Person B (me in this case) opens PR#5821. Github somehow gets the idea that PR#5821 is fixed by PR#5335. Person C (yehudasa in this case) merges PR#5335. Github automatically closes PR#5821 (!!) with the following message: "yehudasa closed this in #5335 $time_interval 5 hours ago"