To redirect or not to redirect?
When I changed my personal site to HTTPS about three months ago, I put in a universal redirect: all requests, no exceptions, were redirected from HTTP to HTTPS. Since then, I've noticed one law-abiding search engine regularly asking for material in a disallowed directory--but only on the HTTP side, never HTTPS.
This makes me wonder if I should poke a hole for robots.txt, leaving it as the one file accessible both ways. What do other people think?