tree 2cfc3683cf4ae3ec9a48fd766865bfb1492eb5fc
parent 0334b8c6738929ed5982a6572135714045a977fa
author Mike Frysinger <vapier@google.com> 1582152922 -0500
committer Mike Frysinger <vapier@google.com> 1582153745 +0000

git_config: add GetInt helper

Change-Id: Ic034ae2fd962299d1b352e597b391b6582ecf44b
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/256052
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: Jonathan Nieder <jrn@google.com>