Re: patch to display new PR number for new submissions

[Andrew J. Gray]

Hi Mel,

> Now that 4.0 beta2 is out the door please review
> (and hopefully accept) the following patch which
> allows send-pr and "pr-edit --submit" to display
> newly created PR numbers.
> 
> The patch basically provides an optional '--show-prnum'
> sub-option to 'pr-edit --submit' which tells
> pr-edit to display the PR number associated with
> the submitted PR.

I have committed your patch along with my modifications to it.

-- 
Andrew J. Gray
GNU GNATS Maintainer