CODEWITHSUNDEEP
gitgithubpull-request
Jacob Birkett
Jacob Birkett

Reputation: 2135

Pull request numbers higher than expected on my repo?

I just noticed that the numbers on the two (and only two) pull requests are #13 and #17.

Like this.

Shouldn't they be named #1 and #2? This confuses me and I wasn't sure where to ask this.

Upvotes: 2

Views: 524

Answers (1)

VonC
VonC

Reputation: 1328602

But issues and pulls share order?

Yes: see the GitHub API List issues and List PR: the id they return is unique.

If you go and create a new issue on moby/moby and type in it:

#37915
#37916

The first ID will be the one of a PR, the second one an issue, and the preview will show you the proper URL:

pull-request ID vs. issue ID

That way, you don't have to qualify a number #xxx: its unique ID will reference the PR or issue you want.

Upvotes: 2

Related Questions