Greetings comrades, HTTP push and pull is now possible for the wiki. Pull with all metadata works for the other projects.
In case anyone wants to do this somewhere else, try to match for the Us‐ er‐Agent header for »git/« and then call »git‐http‐backend«; otherwise the cgit CGI binary. Sincerely, Christoph Lohmann
