27 Jul
2020
27 Jul
'20
1:03 p.m.
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