[m-dev.] referenced papers

Matthias G├╝demann matthias at guedemann.org
Mon Aug 24 17:11:45 AEST 2015


>> If anything, it should be a new git repository, e.g. "papers".

I think an additional 'papers' repository on github would be a good
idea (maybe using 'git-annex' ?), in case of a problem, it would be
easier to remove a paper from there than from the main repository.

> Aren't all the papers already in the www repository?

I think the idea is to include external papers from other groups.


More information about the developers mailing list