examples/general.c: update for recent API renaming of git_config_get_int git_config_get_int --> git_config_get_int32