|
|
|
|
|
|
by mhagemeister
1386 days ago
|
|
|
No, that's because GitHub uses the same number for both issues and pull requests. We did about 70 pull requests. You can verify that yourself by going on an issue and incrementing/decrementing the number until you hit a PR at which point you'll be redirected. |
|
|