diff options
-rwxr-xr-x | commit | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -87,6 +87,7 @@ function git_push { # Check user information function git_user { if ! grep -q "^\[user\]" $GIT_FOLDER/.git/config; then + # TODO: remove '--config' from args, otherwise it goes to the commit log if echo $ARGS | grep -q -- '--config'; then grep -A 2 "^\[user\]" $HOME/.gitconfig >> $GIT_FOLDER/.git/config else |