tree 4e7fdae6236816093a39c5af824dda0b0c0efc71
parent d699296b4d4e3aa4c5b12077264b73a33c06c69a
author dong-ja <52670911+dong-ja@users.noreply.github.com> 1629752608 -0500
committer GitHub <noreply@github.com> 1629752608 -0400
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJhJA0gCRBK7hj4Ov3rIwAALn8IAFH5WSgnvo7q/yI+yLj1xwuY
 SzOk3M7Da2kLxWwFOjBBhtFUMxIuJoCiKNS4RQPFRUzqj8OPQZhuIFVvzbB3WOgg
 ySf9vEPSg+yBMpzCVS5oYgJYMmayXE8Rp4ScAwAceF/wyYxojRu41IBl1SbR2CVk
 Mid67YctO5HzBzjXz6mzALUzl3o/5hoO7eW+7qnZ9OfSkccOHgwpm5zMHq1+nN1k
 lU/tfZPODE7YgPH7ubHpz/ABZHcm36D30p99ICbfGPp8uJbxxzMMMgOsvbnrKMDm
 y0478milopTXV3ODYS5SMVEWw0GrlY2P0aLZfAjF+wMESVDVggC+E7K7N2wqfdQ=
 =+Rei
 -----END PGP SIGNATURE-----
 

Add divergence analysis to linter (#4465)

Currently, handles promotion of divergence due to reconvergence rules, but doesn't handle "late merges" caused by a later-than-necessary declared merge block.

Co-authored-by: Jakub Kuderski <kubak@google.com>