DEVELOPER-828 enable robots.txt for prod #403

Merged
merged 1 commit into from Jul 23, 2014

Projects

None yet

3 participants

@pmuir
Member
pmuir commented Jul 21, 2014

No description provided.

@jboss-developer-ci
Contributor

Triggering build using a merge of 71a2e0e on branch master:
Private: https://jenkins.mw.lab.eng.bos.redhat.com/hudson/job/www.jboss.org-pull-player-executor/

@jboss-developer-ci
Contributor

Build 419 is now running using a merge of 71a2e0e on branch master:
Private: https://jenkins.mw.lab.eng.bos.redhat.com/hudson/job/www.jboss.org-pull-player-executor/419

@paulrobinson paulrobinson commented on the diff Jul 22, 2014
robots.txt
@@ -1,5 +0,0 @@
-# www.robotstxt.org/
-# www.google.com/support/webmasters/bin/answer.py?hl=en&answer=156449
-
-User-agent: *
-Disallow: /
@paulrobinson
paulrobinson Jul 22, 2014 Contributor

missing new-line

@paulrobinson
Contributor

This is DEVELOPER-835, not DEVELOPER-828. Is it worth fixing the commit comment?

@jboss-developer-ci
Contributor

Triggering build using a merge of b5c615d on branch master:
Private: https://jenkins.mw.lab.eng.bos.redhat.com/hudson/job/www.jboss.org-pull-player-executor/

@pmuir
Member
pmuir commented Jul 22, 2014

Fixed issue number. I can't add a new line to a file I'm removing

@jboss-developer-ci
Contributor

Build 428 is now running using a merge of b5c615d on branch master:
Private: https://jenkins.mw.lab.eng.bos.redhat.com/hudson/job/www.jboss.org-pull-player-executor/428

@paulrobinson paulrobinson merged commit 7322c6d into jboss-developer:master Jul 23, 2014

1 check passed

jboss-developer-ci JBoss Developer CI build status: success
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment