Is it possible to give specific PR number
From: Igor Korot <hidden>
Date: 2016-06-15 23:08:45
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.