github might currently not be case sensitive, but lets not take a future bet