User-agent: *
Disallow: /jira/

User-agent: *
Disallow: /pipermail/softball/

User-agent: *
Disallow: /pipermail/twentyfivedemo/