mono/monodevelop — pull request #406 by Therzok (2013-09-17 17:55:37+00:00)
Title: Use NGit API

Simplify NGit code by using NGit API available. Done for Fetch, Push, Tag, Branch and SwitchToBranch.