I do not like that tool :)

PLEASE do not blindly move issues from FogBugz to GitHub, if that would have been our purpose we would have done it!

Migrate the issues that are relevant for you. And for relevant I mean: Just the ones that you actually find in P7-8. 

Thing is��� many of those issues are no longer relevant (because of many things).

Esteban

On 19 Mar 2019, at 12:12, Tim Mackinnon <tim@testit.works> wrote:

Yes - Cyril is a tool meister���. ;)

On 19 Mar 2019, at 10:08, Marcus Denker <marcus.denker@inria.fr> wrote:

Hi,

I think Cyril has some kind of tool? Yes, that might be interesting...

On 18 Mar 2019, at 19:26, Tim Mackinnon <tim@testit.works> wrote:

Marcus - do we just manually copy over the title and description (and any relevant comments) - or is there some tool to do this with?

Tim

On 18 Mar 2019, at 07:38, Marcus Denker <marcus.denker@inria.fr> wrote:

Hi,

We should all look at the old issues:


and move them to the new one:


instead of moving them automatically, we should take the chance to
clean up.

Please check, first for the issues that *you* added:

-> is it still relevant?
->if yes: add a new issue on GitHub 
->close this issue, there is now an explicit ���moved to GitHub��� state.


Marcus