> This also remind me that we'll have to do something about this git-mirror. We
> can either:
> (1) - make it empty with a link to the new git repo
> (2) - keep it as is (i.e., no sync) for a short period and then proceed as (1)
> (3) - delete it and recreate it as a synced mirror of the new
On Wed, Sep 18, 2019 at 9:10 AM Christoph Hertzberg <
c...@informatik.uni-bremen.de> wrote:
> I guess the main decision left is to decide on a schedule when to
> officially switch to gitlab and if/how long we will keep the bitbucket
> repository as a mirror (or essentially as a snapshot)
>
What
Very nice indeed! Thanks Gael and Joseph!
I guess the main decision left is to decide on a schedule when to
officially switch to gitlab and if/how long we will keep the bitbucket
repository as a mirror (or essentially as a snapshot).
Once bitbucket closes hg-support (or sooner), we can replace