git.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* Is it possible to give specific PR number
@ 2016-03-16 15:20 Igor Korot
  2016-03-16 17:10 ` Shawn Pearce
  0 siblings, 1 reply; 3+ messages in thread
From: Igor Korot @ 2016-03-16 15:20 UTC (permalink / raw)
  To: git

 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.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: Is it possible to give specific PR number
  2016-03-16 15:20 Is it possible to give specific PR number Igor Korot
@ 2016-03-16 17:10 ` Shawn Pearce
  2016-03-16 17:36   ` Igor Korot
  0 siblings, 1 reply; 3+ messages in thread
From: Shawn Pearce @ 2016-03-16 17:10 UTC (permalink / raw)
  To: Igor Korot; +Cc: git

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

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: Is it possible to give specific PR number
  2016-03-16 17:10 ` Shawn Pearce
@ 2016-03-16 17:36   ` Igor Korot
  0 siblings, 0 replies; 3+ messages in thread
From: Igor Korot @ 2016-03-16 17:36 UTC (permalink / raw)
  To: Shawn Pearce; +Cc: git

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

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2016-03-16 17:36 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-03-16 15:20 Is it possible to give specific PR number Igor Korot
2016-03-16 17:10 ` Shawn Pearce
2016-03-16 17:36   ` Igor Korot

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).