Skip to content

Instantly share code, notes, and snippets.

@JaldertVicarious
Last active January 26, 2022 17:00
Show Gist options
  • Save JaldertVicarious/9bc1a0504531709bfa7992152fc9366c to your computer and use it in GitHub Desktop.
Save JaldertVicarious/9bc1a0504531709bfa7992152fc9366c to your computer and use it in GitHub Desktop.
Bookmarklet to open PR docs
// To install, make a bookmark and add the code below as the URL
// This only works when you are browing a real_world PR
// e.g. https://github.com/vicariousinc/real_world/pull/18545
javascript:(function() {
const url = window.location.href;
let re = /pull\/(?<PR>[0-9]+)/;
let match = url.match(re);
const pr_id = match.groups["PR"];
open('http://docs.corp.vicarious.com/PR/PR-' + pr_id + '/doc/overview.html').focus();
})();
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment