The git commands that Skara suggests to use to fetch or update a PR branch when reviewing a PR are missing the ".git" at the end of the repo name. GitHub will redirect to the correct URL, adding the ".git" at the server end, but it would be better for the Skara message to add it.
For example, to review PRs in the "jdk" repo, Skara currently suggests this:
```
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk pull/NNNN/head:pull/NNNN
$ git checkout pull/NNNN
Update a local copy of the PR:
$ git checkout pull/NNNN
$ git pull https://git.openjdk.org/jdk pull/NNNN/head
```
The URL of the repo sent to git should be:
https://git.openjdk.org/jdk.git
So:
```
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk.git pull/NNNN/head:pull/NNNN
$ git checkout pull/NNNN
Update a local copy of the PR:
$ git checkout pull/NNNN
$ git pull https://git.openjdk.org/jdk.git pull/NNNN/head
```
For example, to review PRs in the "jdk" repo, Skara currently suggests this:
```
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk pull/NNNN/head:pull/NNNN
$ git checkout pull/NNNN
Update a local copy of the PR:
$ git checkout pull/NNNN
$ git pull https://git.openjdk.org/jdk pull/NNNN/head
```
The URL of the repo sent to git should be:
https://git.openjdk.org/jdk.git
So:
```
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk.git pull/NNNN/head:pull/NNNN
$ git checkout pull/NNNN
Update a local copy of the PR:
$ git checkout pull/NNNN
$ git pull https://git.openjdk.org/jdk.git pull/NNNN/head
```