jboss-set/mjolnir — pull request #14 by navssurtani (2013-10-03 07:49:38+00:00)
Title: #3 Added functionality to change github username on server

Completed work for https://github.com/jboss-set/mjolnir/issues/3

It is now possible to modify the github name of a user.