diff options
author | Eric Wong <e@80x24.org> | 2023-02-03 03:46:03 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2023-02-03 21:54:11 +0000 |
commit | b58cb3f73d48f682eb2092f7ae758cdad70c5467 (patch) | |
tree | 33e7fb8d4c8c558c0301d7b017953750992b0612 /lib/PublicInbox/Git.pm | |
parent | 402234aa4eaf4732e5e1636099115465ec6e5c15 (diff) | |
download | public-inbox-b58cb3f73d48f682eb2092f7ae758cdad70c5467.tar.gz |
This avoids unnecessary writes to the FETCH_HEAD file, which is worthless in multi-remote mirrors. Actually, I haven't found FETCH_HEAD useful anywhere since the `/remotes/' namespace became popular...
Diffstat (limited to 'lib/PublicInbox/Git.pm')
-rw-r--r-- | lib/PublicInbox/Git.pm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/PublicInbox/Git.pm b/lib/PublicInbox/Git.pm index fd7a0382..2729b38f 100644 --- a/lib/PublicInbox/Git.pm +++ b/lib/PublicInbox/Git.pm @@ -52,6 +52,11 @@ my %ESC_GIT = map { $GIT_ESC{$_} => $_ } keys %GIT_ESC; my $EXE_ST = ''; # pack('dd', st_ctime, st_size); my ($GIT_EXE, $GIT_VER); +sub version { + check_git_exe(); + $GIT_VER; +} + sub check_git_exe () { $GIT_EXE = which('git') // die "git not found in $ENV{PATH}"; my @st = stat($GIT_EXE) or die "stat: $!"; |