脳log[20180621]

2018年06月21日 (木) Pull Request. ■始めたのは GitHub らしいけど今や専売特許というわけではないらしい。■実体は２つのブランチを結び付けるもので、マージするのが目標。Merge Request という用語を使うサービスもある。■ブランチにコミットを継ぎ足してプルリクエストのアップデートができる。■PR の元になったブランチに「こういうやり方はどう？」ってな PR を出すこともできそう。■PR の作成方法は実はまだ知らない。Git ホスティングサービスに固有の操作になるんだろうか。■PR 後にブランチをアップデートしたとして、PR を受け付けたホスティングサービスがそれを知るタイミングとは。ポーリング？ 再度 PR を作成するのと同じ操作をする？■PR を出した後、またはマージされた後、元になったブランチを削除すると PR はどうなる？ Git のブランチってわりと都度作っては消すものだと思うんだけど。■ブランチを削除しても PR は残っていた。rebase で消えたコミットとそこに付けられたコメントも、Show Outdated というリンクから見られた。■「GitHubやBitbucketでは最初のアクションとしてfeatureブランチをプルするため、Pull Requestという名前を使用します。」 プルリクエストを出した段階で元になったブランチのコピーが、PR を受け付けたリポジトリに作成されてるってことなんか？■まだ答えを確かめる段階ではない。←■■■@2018-09-18「GitHubで他人のプルリクエストに対しコンフリクト解消や追加の修正を行いつつマージするもう1つの方法 - ncaq」