GitHub permalinks: Deduplicate the line number if the range is one line.

[lgarron]

This will generate URLs like:

https://github.com/microsoft/vscode-pull-request-github/blob/39d333d9931d685d01078e27c4e6583eda55fc27/src/issues/util.ts#L495

... instead of:

https://github.com/microsoft/vscode-pull-request-github/blob/39d333d9931d685d01078e27c4e6583eda55fc27/src/issues/util.ts#L495-L495

[lgarron]

This could theoretically be kept one one line, or shortened by conditionally updating a variable in the main block for createGithubPermalink(). However, I thought this would be the easiest to read, since it contains the calculation entirely inside a separate block without side effects.

[lgarron]

One line would look something like this:

const rangeString = range ? `#L${range.start.line + 1}${range.start.line === range.end.line ? '' : `-L${range.end.line + 1}`}` : '';

[lgarron]

Putting it in the same in the main block for createGithubPermalink() could look like this:

let rangeString = '';
if (range) {
  rangeString = `#L${range.start.line + 1}`;
  if (range.start.line !== range.end.line) {
    rangeString += `-L${range.end.line + 1}`;
  }
}

[alexr00]

Thanks for the PR! Just one comment.

[alexr00]

Looks good, thank you!