3 messages, 2 authors, 2016-06-15 · open the first message on its own page
From: Igor Korot <hidden>
Date: 2016-06-15 23:08:45
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.
From: Shawn Pearce <hidden>
Date: 2016-06-15 23:08:46
On Wed, Mar 16, 2016 at 8:20 AM, Igor Korot [off-list ref] 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
From: Igor Korot <hidden>
Date: 2016-06-15 23:08:46
Shawn, On Wed, Mar 16, 2016 at 1:10 PM, Shawn Pearce [off-list ref] wrote:
On Wed, Mar 16, 2016 at 8:20 AM, Igor Korot [off-list ref] wrote:quoted
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.
quoted
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