Migrating jmc7 to GitHub.

[Marcus Hirt]

Hi all,

We'll do this in two steps. First step is moving jmc7 over to
Git/GitHub/Skara. This will happen on Friday, the 9th of October.

Kind regards,
Marcus

On Tue, Oct 6, 2020 at 2:41 PM Marcus Hirt <marcus.hirt at datadoghq.com>
wrote:

> Hi all,
>
> Since there were no objections, we'll go ahead with moving the jmc7
> repository to GitHub.
>
> Kind regards,
> Marcus
>