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.