diff options
| author | 2025-11-09 20:08:38 +0100 | |
|---|---|---|
| committer | 2025-11-09 20:08:38 +0100 | |
| commit | c655512737b79886414a1bce653364b967fb6ad0 (patch) | |
| tree | f18dd67db5c195299179129f3f2c6cd470ecf939 | |
| parent | 98f2ba758e75601753072c9e81f30f23e4b79425 (diff) | |
Fail when git user is not setup
| -rwxr-xr-x | src/init | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -172,8 +172,9 @@ if set -q $_flag_g set GIT_UID $_flag_g end +# Setup git user +setupGitUser; or return $status # Setup users -setupGitUser for userConfig in $users setupUser "$userConfig" end |
