893d4f
Add a mirroring hook to mirror git repo to other locations Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr></pingou@pingoured.fr>