Developer 801 #376

Merged
merged 2 commits into from Jul 16, 2014

Conversation

Projects
None yet
5 participants
Owner

pmuir commented Jul 15, 2014

This should fix DEVELOPER-801, including DEVELOPER-763 so we can test the problem @wesbos reported.

pmuir and others added some commits Jul 15, 2014

@pmuir pmuir DEVELOPER-801 use CDN path for sprites 96b0ae7
@wesbos @pmuir wesbos New project icon sprites. Fixes DEVELOPER-763
project icons

Project Icon sprites. Fixes DEVELOPER-763

project icon stylesheets
20283c1
Contributor

jboss-developer-ci commented Jul 15, 2014

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

Contributor

jboss-developer-ci commented Jul 15, 2014

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

Contributor

jboss-developer-ci commented Jul 15, 2014

Related issue: DEVELOPER-801

Contributor

wesbos commented Jul 15, 2014

That looks to have worked

Owner

pmuir commented Jul 15, 2014

I’m on fire!

On 15 Jul 2014, at 17:40, Wes Bos notifications@github.com wrote:

That looks to have worked


Reply to this email directly or view it on GitHub.

Contributor

lkrzyzanek commented Jul 16, 2014

Project icons sprite looks good on https://community-dev.jboss.org/welcome by using pr/376/build/358/originals resources.
Thanks for fixing that.

@paulrobinson paulrobinson added a commit that referenced this pull request Jul 16, 2014

@paulrobinson paulrobinson Merge pull request #376 from pmuir/DEVELOPER-801
Developer 801
b24f42b

@paulrobinson paulrobinson merged commit b24f42b into jboss-developer:master Jul 16, 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