Re: [sage-devel] Re: Sage infrastructure repository + GitHub cleanup

2016-06-08 Thread Erik Bray
On Wed, Jun 8, 2016 at 8:50 AM, Volker Braun wrote: > Some of those repos are out of date, too. If in doubt check with whats > actually on the trac VM. > > Really we need a better (any!) configuration management. E.g. by having a > repo with salt/ansible/... VM configuration or dockerfiles etc. Ha

[sage-devel] Re: Sage infrastructure repository + GitHub cleanup

2016-06-08 Thread Volker Braun
Some of those repos are out of date, too. If in doubt check with whats actually on the trac VM. Really we need a better (any!) configuration management. E.g. by having a repo with salt/ansible/... VM configuration or dockerfiles etc. Having a VM thats being prodded by a dozen different admins i