Make repo report an optional profile

Change-Id: If47878eff5f1d2456792dc4b2fa4815a7304f7c0
Signed-off-by: Frederic Gurr <frederic.gurr@eclipse-foundation.org>
1 file changed