robots.txt: block commit diffs