[eclemma-dev] Question about repository at GitHub

[Evgeny Mandrikov <mandrikov@xxxxxxxxx>]

Hi guys,

I've included you directly into the copy of this email (excuse me for this), just because I wasn't sure who already subscribed - https://dev.eclipse.org/mailman/listinfo/ shows that currently there are just two members. So please don't forget to subscribe for future discussions.

FYI initial contribution has been sent for review - https://dev.eclipse.org/ipzilla/show_bug.cgi?id=11862

In new repository only this initial contribution will be easily accessible. For the old repository / history ( https://github.com/jacoco/eclemma ) I see two options:

1) we move repository to https://github.com/eclipse and webmaster will take care to collapse existing history into hidden place

Cons:

All our existing sites rely on existing repository during automatic publication ( https://github.com/jacoco/www.eclemma.org/blob/master/.travis.sh#L22 ), however we might try to fork it back immediately after transfer.

Seems that usage of GitHub issues requires approval from PMC. And I guess anyway will be better to stick to bugzilla.

2) we request creation of new repository

Pros:

This will give us time to properly handle migration of issues and site, we'll be able to add commits indicating movement or do fork a bit later.

Option 2 seems safest one for me, unless I missed something. WDYT?

Best regards,

Evgeny