[jbosstools-issues] [JBoss JIRA] (JBDS-3611) update tools.jboss.org for developers.redhat.com branding

[Nick Boldt (JIRA)]

    [ https://issues.jboss.org/browse/JBDS-3611?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13240810#comment-13240810 ] 

Nick Boldt commented on JBDS-3611:
----------------------------------

Unclear what needs to be done here. [~xcoulon] [~maxandersen] [~akazakov] can you flesh out where this branding change would happen on tools.jboss.org? 

Will we just change the "JBoss Tools" header [1] to the new one on devstudio.redhat.com [2] ?

[1] http://tools.jboss.org/downloads/
[2] https://devstudio.jboss.com/10.0/staging/updates/

Or is there more we need to do here?

> update tools.jboss.org for developers.redhat.com branding 
> ----------------------------------------------------------
>
>                 Key: JBDS-3611
>                 URL: https://issues.jboss.org/browse/JBDS-3611
>             Project: Red Hat Developer Studio (DevStudio)
>          Issue Type: Task
>          Components: website
>            Reporter: Max Rydahl Andersen
>            Priority: Critical
>             Fix For: 10.0.0.Alpha3
>
>




--
This message was sent by Atlassian JIRA
(v6.4.11#64026)