Case-insensitivity for Jenkins build requests