Hi, sorry for yet another thread. Actually this is two separate topics but they came up in the same context.
There are a lot of files related to sage's website infrastructure that would be nice to keep track of better than rummaging around on servers and making occasional full disk backups. I'm talking mostly about things like configuration files, but also crontabs, and things like the custom trac templates. As far as I know none of these things are tracked. The only thing I could find is a trac-githooks repository [1]. This is certainly an example of what I would like to keep track of. I would propose an "infrastructure" repository on GitHub [I am not a huge fan of GitHub but it's important that this lives outside the Sage infrastructure itself for obvious reasons]. The contents of the trac-githooks repository can be merged into this "infrastructure" repo, and the separate trac-githooks repo can be subsequently blown away. On a side note, the sagemath GitHub has some crud I think can be blown away: * trac-dump: Supposedly a dump of the trac database from September 2014, but actually an empty repository; useless * sage_trac: Older version of what is now the sage_trac_plugin. I might keep it since it contains some history, but the description should be updated to point to the sage_trac_plugin repository (I was confused for a bit since I found sage_trac before sage_trac_plugin). * trac-git-plugin: A fork of the original trac-git-plugin from 2012 that doesn't even seem to contain any changes from us. Not used at all. Not worth keeping. * trac-code-comments-plugin: same * MathJax: Also same; no reason to keep an ancient unused fork of MathJax...? Is there someone who can make these changes or can give me admin on the GitHub org? Thanks, Erik [1] https://github.com/sagemath/trac-githooks -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
