PR

Last-modified: 2024-08-03 (土) 01:32:35

GitHubのリンク名で使う表示

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