PR

Last-modified: 2023-10-26 (木) 17:24:55

GitHubのリンク名で使う表示

  • たぶん「Pull Request」の略。
    「いい機能を思いついたから管理人さん実装(またはワークフローの承認)よろしく」ということ（意訳）
  • 「紹介」の意味はないはず。（けれど、ユーザーにとっては、新機能が実装されたときにPR＃〇〇のリンクに触れる機会が多いので、「ああ紹介ページなんだな」と錯覚しそうになる。）