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

Re: Is it possible to give specific PR number

From
Shawn Pearce <spearce@spearce.org>
Date
Mar 16, 2016, 17:10 UTC
Message-ID
<CAJo=hJssZ9xQv--3=hT-TO2xXf10jOJjTM4Fr59jpCfP-7oTDg@mail.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.

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
Previous: Igor KorotNext: Igor Korot
Message 2 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.