[44net] Re: git.ampr.org admins?