On Wed, Mar 16, 2016 at 8:20 AM, Igor Korot <[email protected]> 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 [email protected] > 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 [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
