jonesdeini/manager_bot — pull request #1 by alexpennace (2014-04-15 16:33:20+00:00)
Title: Add case insensitivity for tickets

This saves our shift keys from wear and tear.