438: Add "git pr issue" subcommand

[edvbld]

Hi all,

please review this patch that adds the git pr issue subcommand (corresponding
to the /issue pull request command). A user can now run e.g. git pr issue --add=SKARA-419 instead of the pull request command /issue add SKARA-419.

Testing:

• Manual testing of Linux x64

Thanks,
Erik

---

Progress

• Change must not contain extraneous whitespace
• Change must be properly reviewed

Issue

• SKARA-438: Add "git pr issue" subcommand

Reviewers

• Robin Westberg (rwestberg - Reviewer) ⚠️ Review applies to 8ce3917

Download

$ git fetch https://git.openjdk.java.net/skara pull/684/head:pull/684
$ git checkout pull/684

[bridgekeeper]

👋 Welcome back ehelin! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request.

[edvbld]

/issue add 438

[openjdk]

@edvbld The primary solved issue for a PR is set through the PR title. Since the current title does not contain an issue reference, it will now be updated.

[mlbridge]

Webrevs

• 01: Full - Incremental (d8f4b54)
• 00: Full (8ce3917)

[rwestberg]

Looks good, just one thing that probably should be changed. :)

[openjdk]

@edvbld This change now passes all automated pre-integration checks. When the change also fulfills all project specific requirements, type /integrate in a new comment to proceed. After integration, the commit message will be:

438: Add "git pr issue" subcommand

Reviewed-by: rwestberg

• If you would like to add a summary, use the /summary command.
• To credit additional contributors, use the /contributor command.
• To add additional solved issues, use the /issue command.

Since the source branch of this PR was last updated there have been 2 commits pushed to the master branch:

• dbc8501: 434: Adding a contributor without a full name gives a NPE
• 95d655d: 330: Allow commands at end of PR body

As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid automatic rebasing, please merge master into your branch, and then specify the current head hash when integrating, like this: /integrate dbc85017a5391730baf2711fa6bdc9980841fcf4.

➡️ To integrate this PR with the above commit message to the master branch, type /integrate in a new comment.

[edvbld]

/integrate

[openjdk]

@edvbld The following commits have been pushed to master since your change was applied:

• dbc8501: 434: Adding a contributor without a full name gives a NPE
• 95d655d: 330: Allow commands at end of PR body

Your commit was automatically rebased without conflicts.

Pushed as commit f72f00a.