From: Igor Korot <ikorot01@gmail.com>
Date: Wed, 16 Mar 2016 15:20:27 GMT
Subject: Is it possible to give specific PR number
Message-ID: <CA+FnnTzo=D+dUdpBvPumd48vH667FAOSupBLwR4WTJy7S-TDkQ@mail.gmail.com>

 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.