User-agent: Googlebot
User-agent: Baiduspider
User-agent: bingbot
User-agent: YandexBot
User-agent: Mail.RU_Bot
User-agent: MJ12bot
Disallow: /*/tags/
Disallow: *?view=annotate*
Disallow: *?annotate=*
Disallow: *?view=diff*
Disallow: *?r1=*
Disallow: *sortby=*
Disallow: *sortdir=*
Disallow: *?revision=*&view=markup&*
Disallow: *?pathrev=*
Disallow: *?*&view=log*
Disallow: *view=log&*
Disallow: *diff_format=*
User-agent: AhrefsBot
Disallow: /
User-agent: *
Crawl-delay: 30