threads / discuss / 41708

Is it possible to give specific PR number

Subject: Is it possible to give specific PR number

## tl;dr

3 messages between Mar 16, 2016 and Mar 16, 2016.

replies: 2people: 2as markdown or json

Shawn Pearce· Mar 16, 2016, 17:10 UTC · re: Igor Korot · lore

Re: Is it possible to give specific PR number

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.

Show 8 quoted lines
> 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· Mar 16, 2016, 17:36 UTC · re: Shawn Pearce · lore

Re: Is it possible to give specific PR number

Shawn,
On Wed, Mar 16, 2016 at 1:10 PM, Shawn Pearce <spearce@spearce.org> wrote:
Show 9 quoted lines
> 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.
Show 10 quoted lines
>
>
>> 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

← back to recent threads