Last modified: 2014-04-23 04:38:42 UTC
Tracking bug for robots.txt settings on different wikis and related issues.
robots.txt can now be edited on-wiki by editing Mediawiki:robots.txt => closing this bug
Reopening, since there can be random other issues with robots.txt as well as tracking bugs should remain opened.
Adding 'tracking' keyword.
rm shell keyword no current action is required