edit-pr from the shell edit-pr [ -V | --version ] [ -h | --help ]
[-d database | --database database] PR Number
Network-mode-only options:
[--host host | -H host] [--port port]
[--user user | -v user]
[--passwd passwd | -w passwd]
The options have the following meaning:
-h, --help-V, --version-d database, --database databaseGNATSDB environment
variable.
--host host, -H hostGNATSDB environment variable.
--port portGNATSDB environment variable.
--user user, -v userGNATSDB environment
variable.
--passwd passwd, -w passwdGNATSDB environment
variable.
edit-pr calls the editor specified in your environment variable
EDITOR on a temporary copy of that PR. (If you don't have the
variable EDITOR defined in your environment, the default editor
vi is used.)
Edit the PR, changing any relevant fields or adding to existing
information. When you exit the editor, edit-pr prompts you on
standard input for a reason if you have changed a field that requires
specifying a reason for the change.