User-agent: *
Disallow: /wiki/
Disallow: /proceedings/
Disallow: /repos/