If the GOP were planning a shutdown, we’d know about it