trying to fix bad gateway

also make ignored_repertory case insensitive.