message: Fix `pull-request-hotkey`
diff: @@ -4,7 +4,10 @@ import * as pageDetect from 'github-url-detection';
  import features from '.';
  function init(): void {
  - const tabs = select.all('.tabnav-pr .tabnav-tab');
  + const tabs = select.all([
  + '.tabnav-pr .tabnav-tab', // Pre "Repository refresh" layout
  + '.tabnav-tabs .tabnav-tab'
  + ]);
  const selectedIndex = tabs.indexOf(select('.tabnav-pr .selected')!);
  const lastTab = tabs.length - 1;
  