dart-lang/chromedeveditor — pull request #3265 by gaurave (2014-08-27 17:07:36+00:00)
Title: [WIP] Git merge ui

1)Re-writes git merge to support conflict.
2) Adds a "resolve" option in context menu for conflicts.
3) Displays the modifications done by `git merge` in the tree.
4) Asks for user's confirmation before the merge.