Skip to content
Back to pull request #3180

merge_tools: clean up Diff/MergeEditor interface #6108

Sign in to view logs

merge_tools: clean up Diff/MergeEditor interface

merge_tools: clean up Diff/MergeEditor interface #6108

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Codespell
8s
8s