diff options
| author | 2025-11-09 20:08:38 +0100 | |
|---|---|---|
| committer | 2025-11-09 20:08:38 +0100 | |
| commit | dd6da916f772e5acc791caeb1f37ebbd5295fb6f (patch) | |
| tree | f18dd67db5c195299179129f3f2c6cd470ecf939 | |
| parent | e553c7e307363d277721c15441aaccc1f6def481 (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 |
