Pull Request で Issue を Fix する場合
MDNとかをみんなで編集!翻訳! Advent Calendar 2025 で、今日は先約があるものの、昨日(12/14)が空いているので、飛び込む。
翻訳をレビューしているときに便利だなーと感心した github の機能の1つがこれ。
Pull Request (PR) の概要(つまり、PR作成時に書く内容)に、
Fixes Issue番号
を入れておくと、PRがマージされたときに、自動的に Issue番号 の Issue が Close される = Issueに戻って閉じる必要がない。
Github 公式では、Issue と PR のリンクとして解説されている。
« サイクルコンピュータの電池交換 | トップページ | 月例となったMDN翻訳ミートアップ »
「パソコン・インターネット」カテゴリの記事
- wine で LINEを使う(2026.04.10)
- apt-cacher-ng と ftp.jp.debian.org(2026.03.25)
- minicom の右枠線がズレる問題へのパッチと gdb の話(2026.01.04)
- Bluefish 関連ページ 復活(2025.12.29)
- MDN翻訳ミートアップで、運営側は何をしているのか(2025.12.25)


コメント