Bookmarklet to open Jenkins console for real-world PR

open_jenkins.js

// 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('https://jenkins.corp.vicarious.com/job/vcrs/job/real_world/job/PR-' + pr_id).focus(); 
})();