git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: Is it possible to give specific PR number

From
IKIgor Korot <ikorot01@gmail.com>
Date
Mar 16, 2016, 17:36 UTC
Message-ID
<CA+FnnTzCh+3==7g-qNsTcO9934OOrVe9n966oZLEJjg+OusOrw@mail.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:
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
Previous: Shawn Pearce
Message 3 of 3 in “Is it possible to give specific PR number”
  1. Igor KorotMar 16, 2016
  2. Shawn PearceMar 16, 2016
  3. Igor KorotMar 16, 2016

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.