message: Meta: Add migration for `pull-request-hotkeys`
diff: @@ -41,6 +41,7 @@ export const renamedFeatures = new Map<string, string>([
  ['quick-pr-diff-options', 'one-click-diff-options'],
  ['quick-review-buttons', 'one-click-review-submission'],
  ['wait-for-build', 'wait-for-checks'],
  + ['pull-request-hotkey', 'pull-request-hotkeys'],
  ]);
  export function getNewFeatureName(possibleFeatureName: string): FeatureID | undefined {
  