併入
整合 ref 握有那項改動,它就算併入了,不管是怎麼到那裡的,所以併入從 git 讀出,從不解析 bash 指令的文字。
併入怎麼判定
併入由 git ref 狀態判斷,不解析 bash 文字。被監看的 ref 前進時,worker 的分支只要是祖先、patch id 相同,或所改每個路徑的內容相同,就算已併入,land 算 act。anchorloop_stage landed(sha、ref、task)記錄擁有者的通知,並以同樣規則檢查。
列了 observation 的 loop,即使沒有關聯子代理,也監看自己 repo 的整合 ref。這個 session 自己 push 的分支(git 顯示 remote-tracking ref 是被它自己的 push 移動的)是一節車廂,併入後算給分支名稱裡票號所指的 unit。偵測 push 時,git 與 push 之間可以有帶引號值的全域選項(git -c 'credential.helper=!glab auth git-credential' push、-C "a b"、--git-dir /x),git 也可以是帶路徑的形式;指令中以 refspec 目的地點名的分支(git push origin agent/mp-x、HEAD:refs/heads/x、src:dst),即使 checkout 在另一個分支上,也是這個 session 的車廂;--dry-run、-n、git stash push,以及指令沒有點名的分支則不是。