/usr/share/doc/git/contrib/coccinelle/git_config_number.cocci