Please create depictor.git and user/(Tom Ritter)/depictor.git repositories
Dear Git admins,
please create an official depictor.git repository with description "Produces an HTML file for easily viewing voting and consensus differences" and Tom Ritter as owner (I don't know his LDAP name; see #13637 (moved)).
Also please create a public user repository for Tom, which would be user/(Tom Ritter)/depictor.git.
Thanks!