@halirutan Forget assuming anything about DownValues. I propose:
Obviously this is a long term project, I am not suggesting you do now.
@AlbertRich Hey Albert. As a first step, I would ask Jed for his GitHub name and invite him to our chats. Then we can talk about how much he knows about collaborating through git. In general, everyone can contribute easily even if he is not part of our dev-team which has direct access to the repositories and this is the usual process:
This is the usual way and anyone on GitHub knows it, so I'm sure Jed is also familiar with it.