{"thread":{"id":"41708","subject":"Is it possible to give specific PR number","startedAt":"2016-03-16T15:20:27Z","lastAt":"2016-03-16T17:36:02Z","messageCount":3,"participants":["Igor Korot","Shawn Pearce"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"280907","messageId":"CA+FnnTzo=D+dUdpBvPumd48vH667FAOSupBLwR4WTJy7S-TDkQ@mail.gmail.com","threadId":"41708","inReplyTo":null,"subject":"Is it possible to give specific PR number","fromName":"Igor Korot","fromEmail":"ikorot01@gmail.com","sentAt":"2016-03-16T15:20:27Z","receivedAt":"2016-03-16T15:20:27Z","isPatch":false,"sender":{"key":"ikorot01@gmail.com","avatar":null},"body":" Hi,\nIs it possible to tell Git to have a PR with a specific number?\nIf yes, is there an API for that?\nIf no, would it be possible to add?\n\nThank you.\n"},{"id":"280924","messageId":"CAJo=hJssZ9xQv--3=hT-TO2xXf10jOJjTM4Fr59jpCfP-7oTDg@mail.gmail.com","threadId":"41708","inReplyTo":"CA+FnnTzo=D+dUdpBvPumd48vH667FAOSupBLwR4WTJy7S-TDkQ@mail.gmail.com","subject":"Re: Is it possible to give specific PR number","fromName":"Shawn Pearce","fromEmail":"spearce@spearce.org","sentAt":"2016-03-16T17:10:58Z","receivedAt":"2016-03-16T17:10:58Z","isPatch":false,"sender":{"key":"spearce@spearce.org","avatar":"https://avatars.githubusercontent.com/u/34844?v=4"},"body":"On Wed, Mar 16, 2016 at 8:20 AM, Igor Korot <ikorot01@gmail.com> wrote:\n>  Hi,\n> Is it possible to tell Git to have a PR with a specific number?\n\nGit does not have PRs.\n\nAre you referring to a GitHub Pull request? If so you should ask\nGitHub support. GitHub is a commercial entity that is separate from\nthe Git open source project.\n\n\n> If yes, is there an API for that?\n> If no, would it be possible to add?\n>\n> Thank you.\n> --\n> To unsubscribe from this list: send the line \"unsubscribe git\" in\n> the body of a message to majordomo@vger.kernel.org\n> More majordomo info at  http://vger.kernel.org/majordomo-info.html\n"},{"id":"280929","messageId":"CA+FnnTzCh+3==7g-qNsTcO9934OOrVe9n966oZLEJjg+OusOrw@mail.gmail.com","threadId":"41708","inReplyTo":"CAJo=hJssZ9xQv--3=hT-TO2xXf10jOJjTM4Fr59jpCfP-7oTDg@mail.gmail.com","subject":"Re: Is it possible to give specific PR number","fromName":"Igor Korot","fromEmail":"ikorot01@gmail.com","sentAt":"2016-03-16T17:36:02Z","receivedAt":"2016-03-16T17:36:02Z","isPatch":false,"sender":{"key":"ikorot01@gmail.com","avatar":null},"body":"Shawn,\n\nOn Wed, Mar 16, 2016 at 1:10 PM, Shawn Pearce <spearce@spearce.org> wrote:\n> On Wed, Mar 16, 2016 at 8:20 AM, Igor Korot <ikorot01@gmail.com> wrote:\n>>  Hi,\n>> Is it possible to tell Git to have a PR with a specific number?\n>\n> Git does not have PRs.\n>\n> Are you referring to a GitHub Pull request? If so you should ask\n> GitHub support. GitHub is a commercial entity that is separate from\n> the Git open source project.\n\nSorry for the confusion.\nI will ask on thje GitHub ML.\n\nThank you.\n\n>\n>\n>> If yes, is there an API for that?\n>> If no, would it be possible to add?\n>>\n>> Thank you.\n>> --\n>> To unsubscribe from this list: send the line \"unsubscribe git\" in\n>> the body of a message to majordomo@vger.kernel.org\n>> More majordomo info at  http://vger.kernel.org/majordomo-info.html\n"}]}