mono/monodevelop — pull request #395 by Therzok (2013-09-06 18:17:21+00:00)
Title: [Git] Added support for adding a tag, pushing all tags and deleting a tag.

Current issues:

Generating the history for selecting a revision for a new tag isn't lazy. It takes alot of time. (But that's how the git backend handles it.)

Xwt seems to not like setting a default nice-size to the dialog.