#131 domain change 'community.jboss.org' => 'developer.jboss.org'
reflected for configurations of contributor profile replication