# Is it possible to give specific PR number

3 messages from 2016-03-16 to 2016-03-16. Participants: Igor Korot, Shawn Pearce.
Thread: https://gitlist.dev/t/41708

## Igor Korot, 2016-03-16 15:20

Subject: Is it possible to give specific PR number
Message-ID: <CA+FnnTzo=D+dUdpBvPumd48vH667FAOSupBLwR4WTJy7S-TDkQ@mail.gmail.com>
URL: https://gitlist.dev/e/CA%2BFnnTzo%3DD%2BdUdpBvPumd48vH667FAOSupBLwR4WTJy7S-TDkQ%40mail.gmail.com

```
 Hi,
Is it possible to tell Git to have a PR with a specific number?
If yes, is there an API for that?
If no, would it be possible to add?

Thank you.

```

## Shawn Pearce, 2016-03-16 17:10

Subject: Re: Is it possible to give specific PR number
Message-ID: <CAJo=hJssZ9xQv--3=hT-TO2xXf10jOJjTM4Fr59jpCfP-7oTDg@mail.gmail.com>
URL: https://gitlist.dev/e/CAJo%3DhJssZ9xQv--3%3DhT-TO2xXf10jOJjTM4Fr59jpCfP-7oTDg%40mail.gmail.com
In-Reply-To: <CA+FnnTzo=D+dUdpBvPumd48vH667FAOSupBLwR4WTJy7S-TDkQ@mail.gmail.com>

```
On Wed, Mar 16, 2016 at 8:20 AM, Igor Korot <ikorot01@gmail.com> wrote:
>  Hi,
> Is it possible to tell Git to have a PR with a specific number?

Git does not have PRs.

Are you referring to a GitHub Pull request? If so you should ask
GitHub support. GitHub is a commercial entity that is separate from
the Git open source project.


> If yes, is there an API for that?
> If no, would it be possible to add?
>
> Thank you.
> --
> To unsubscribe from this list: send the line "unsubscribe git" in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html

```

## Igor Korot, 2016-03-16 17:36

Subject: Re: Is it possible to give specific PR number
Message-ID: <CA+FnnTzCh+3==7g-qNsTcO9934OOrVe9n966oZLEJjg+OusOrw@mail.gmail.com>
URL: https://gitlist.dev/e/CA%2BFnnTzCh%2B3%3D%3D7g-qNsTcO9934OOrVe9n966oZLEJjg%2BOusOrw%40mail.gmail.com
In-Reply-To: <CAJo=hJssZ9xQv--3=hT-TO2xXf10jOJjTM4Fr59jpCfP-7oTDg@mail.gmail.com>

```
Shawn,

On Wed, Mar 16, 2016 at 1:10 PM, Shawn Pearce <spearce@spearce.org> wrote:
> On Wed, Mar 16, 2016 at 8:20 AM, Igor Korot <ikorot01@gmail.com> wrote:
>>  Hi,
>> Is it possible to tell Git to have a PR with a specific number?
>
> Git does not have PRs.
>
> Are you referring to a GitHub Pull request? If so you should ask
> GitHub support. GitHub is a commercial entity that is separate from
> the Git open source project.

Sorry for the confusion.
I will ask on thje GitHub ML.

Thank you.

>
>
>> If yes, is there an API for that?
>> If no, would it be possible to add?
>>
>> Thank you.
>> --
>> To unsubscribe from this list: send the line "unsubscribe git" in
>> the body of a message to majordomo@vger.kernel.org
>> More majordomo info at  http://vger.kernel.org/majordomo-info.html

```