jonesdeini/manager_bot — pull request #2 by alexpennace (2014-04-16 13:45:56+00:00)
Title: Add case insensitivity for tickets

Like https://github.com/jonesdeini/manager_bot/pull/1 but now is mergable and no longer from an unknown repository.