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