Easy navigation from GitHub PR URL

[lptr]

Is your feature request related to a problem? Please describe.

I'd love to start using SemanticDiff, but most of the time I work with GitHub PRs. It would be great to have an easy way to navigate from a GitHub PR URL to the corresponding app.semanticdiff.com URL.

Describe the solution you'd like

A Chrome / Firefox extension perhaps that would add a button to switch over?

[lptr]

Another option would be to add a search URL on app.semanticdiff.com that we could use with a GitHub URL. This way one could set up a "search engine" in their browser.

[mmueller2012]

We just deployed an update that adds support for OpenSearch. It basically allows the browser to use the search functionality that was already available on app.semanticdiff.com. You can either enter a GitHub URL and be forwarded to the corresponding SemanticDiff page or search for pull requests. You need to be authenticated to use the search. If you are not authenticated yet, you will be forwarded to GitHub to login via OAuth.

To add the search provider, first go to any page on https://app.semanticdiff.com. Now the instructions differ a bit depending on the browser. In Firefox just focus the navigation bar and click on the SemanticDiff icon in the bottom row to add it as a search provider. In Chrome, you need to go to chrome://settings/searchEngines and scroll down to the list of inactive shortcuts. Look out for SemanticDiff and activate it. You may need to expand the list.

[lptr]

This is great, though I cannot yet get it to work in Chrome. I don't see anything related to SemanticDiff in the chrome://settings/searchEngines list. I tried expanding, reloading, nothing.

[mmueller2012]

Did you check the last list "Inactive Shortcuts"? After expanding the list, I can find SemanticDiff:

@slackner Can you double check if it works for you?

[slackner]

It works fine for me with Google Chrome.

The exact steps are as follows:

• I visited https://app.semanticdiff.com/ and logged in
• Then I opened up chrome://settings/searchEngines
• SemanticDiff appeared in the section Inactive shortcuts
• I enabled it and changed the shortcut to @semanticdiff
• Typing @semanticdiff and then some search term correctly opens up the search feature within SemanticDiff

@lptr Could you double check? If it doesn't work, which version of Chromium / Google Chrome are you using?