Hello, where did the equivalent of svnadmin end up for the doc repository now that it has been converted to git? I tend to use this with my Grim Reaper hat on to see if former ports committers are also active in doc or src, and for ports when they became ports committer for the Developer Alumni section in the Contributors Guide. Regards, René