error in upload, github monetdb remains amd should be sinked nightly. issue is known

> On 27 Jul 2020, at 14:47, Roberto Cornacchia <roberto.cornacchia@gmail.com> wrote:
>
> Hi,
>
> I was wondering whether the MonetDB repositories on GitHub (or any git-based platform) are, in your intentions, there to stay.
>
> That's because I'm planning to move our own fork from Mercurial to git. This would come very easy by using the GitHub repositories as upstreams.
>
> My second question though is: the git repositories are at this moment about 10 days behind. Is there a reason? Will that be improved?
>
> Thanks!
> Roberto
> _______________________________________________
> users-list mailing list
> users-list@monetdb.org
> https://www.monetdb.org/mailman/listinfo/users-list

_______________________________________________
users-list mailing list
users-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/users-list