Martin, Good to know, thanks! Then I trust that the issue will be fixed and will rely on these repositories (1-day delay is acceptable in our case) On Mon, 27 Jul 2020 at 15:07, Martin Kersten wrote:

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