github/hub — pull request #691 by jingweno (2014-11-16 20:59:05+00:00)
Title: Treat remote URL user name case insensitive when creating PR

See https://github.com/github/hub/issues/685

/cc @misalv