mono/monodevelop — pull request #632 by Therzok (2014-08-23 09:08:34+00:00)
Title: GitHub.Repository integration

Just opening it so I remember to migrate it.