Github links should include link to pull requests

[marcoscaceres]

I keep having to click on the issues link to get to the pull requests... it's getting a little boring.

[OrionStar25]

Hey, I'd like to work on this issue! Can you please elaborate a bit more though?

[marcoscaceres]

@OrionStar25 that's great, and should be pretty easy.

See the screenshot below of what is actually needed:

You basically just need to add one of these objects here:
https://github.com/w3c/respec/blob/develop/src/core/github.js#L117

And add the localization string in English here:
https://github.com/w3c/respec/blob/develop/src/core/l10n.js#L19

And then add a test to check that the value showed up in "tests/spec/core/github-spec.js".

[marcoscaceres]

@OrionStar25, if you haven't already, please also see the get started guide for devs https://github.com/w3c/respec/wiki/Developers-Guide

[OrionStar25]

Sent a pr 👍

…

On 8 Feb 2018 7:56 am, "Marcos Cáceres" ***@***.***> wrote: @OrionStar25 <https://github.com/orionstar25>, if you haven't already, please also see the get started guide for devs https://github.com/w3c/respec/wiki/Developers-Guide — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#1373 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AbgACfnAWWMT8Ad_SAnxN14HFySpFOudks5tSls9gaJpZM4PD_LB> .