remove redis from tools/check_issues.php

rt