| 2019-07-19 | Merge branch 'pw/prompt-cherry-pick-revert-fix' | blob | diff | raw | |
| 2019-07-19 | Merge branch 'ew/repack-with-bitmaps-by-default' | blob | diff | raw | |
| 2019-07-19 | Merge branch 'jk/check-connected-with-alternates' | blob | diff | raw | |
| 2019-07-01 | check_everything_connected: assume alternate ref tips... | blob | diff | raw | |