The new version of the hooks is now in use for the production repository. -- Joseph S. Myers joseph@codesourcery.com