dart-lang/chromedeveditor — pull request #3134 by gaurave (2014-08-12 23:47:01+00:00)
Title: Allow non-fast-forward pull

TODO: A non fast-forward pull will make the branch not pushable as we do not yet support non-fast-forward push. That is upcoming in the next cl.