4 ms·
It'd be cool if you could create a permalink from a github URL (with a line no. param). Then the interface could look like tinyurl (anonymously paste a github
by ed 10y ago
It'd be cool if you could create a permalink from a github URL (with a line no. param).
Then the interface could look like tinyurl (anonymously paste a github link, get a sourcegraph link in return).
Bonus points if it simply redirects you to the new line number on GitHub's master.
- sqs 10y agoWe have something like that—and better in some ways. Check out the Sourcegraph Chrome extension: https://chrome.google.com/webstore/detail/sourcegraph-for-github/dgjhfomjieaadpoljlnidmbgkdffpack https://chrome.google.com/webstore/detail/sourcegraph-for-gi.... You get jump-to-def by clicking on code on GitHub. And it uses these semantic URLs in a backward-compatible way, so that they encode the definition/function name but also the line number (so anyone not using the extension can still use the URLs). It's a great idea to make a little app to get a permalink, too!