Shawn, On Wed, Mar 16, 2016 at 1:10 PM, Shawn Pearce <spearce@xxxxxxxxxxx> wrote: > On Wed, Mar 16, 2016 at 8:20 AM, Igor Korot <ikorot01@xxxxxxxxx> 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@xxxxxxxxxxxxxxx >> More majordomo info at http://vger.kernel.org/majordomo-info.html -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html