The welcome content in the community repository does contain a RedHat logo. It actually even contains the text "by redhat" which is according to the license guidelines reserved for the EAP version. I think the branding should be removed since otherwise it makes even forking/repackaing for the JBoss AS hard:

https://github.com/jbossas/jboss-as/blob/master/build/src/main/resources/welcome-content/jboss_community.png

(also note that the file name is pretty missleading to, as it is not the community logo (alone)).