Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
merge_view: remove heads removed by other side also in Google repos
When I addded the workaround in 256988d, I missed the comment just below explaining that heads removed by the other side were already handled. Since that's not handled when using non-default indexes now, we need to handle it in an `else` block.
- Loading branch information