Re: gccadmin hooks: make it a public git repo

[Joseph Myers]

I'm fine with having it set up with a public repository.  If you have a 
public (bare) repository that would of course need to have its own hooks 
to update the (non-bare) hooks-bin checkout after a push.

-- 
Joseph S. Myers
jos...@codesourcery.com