Re: Is it possible to give specific PR number

On Wed, Mar 16, 2016 at 8:20 AM, Igor Korot 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 sou

Is it possible to give specific PR number

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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http

Re: Is it possible to give specific PR number

Shawn, On Wed, Mar 16, 2016 at 1:10 PM, Shawn Pearce wrote: > On Wed, Mar 16, 2016 at 8:20 AM, Igor Korot 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 sup