From e983376326eab20daac9c2bfbb65b88c4fd248a2 Mon Sep 17 00:00:00 2001 From: Eric Wong Date: Thu, 28 Apr 2016 01:03:31 +0000 Subject: import: run git-update-server-info when done We should update $GIT_DIR/info/refs for dumb HTTP clients whenever we make changes to the repository. The best place to update is immediately after making commits. This fixes a bug where public-inbox-learn did not properly update $GIT_DIR/info/refs after inserting or removing messages. --- script/public-inbox-mda | 4 ---- 1 file changed, 4 deletions(-) (limited to 'script/public-inbox-mda') diff --git a/script/public-inbox-mda b/script/public-inbox-mda index 6c76734c..611e7c38 100755 --- a/script/public-inbox-mda +++ b/script/public-inbox-mda @@ -102,10 +102,6 @@ sub do_spamc { sub index_sync { my ($git_dir) = @_; - - # potentially user-visible, ignore errors: - system('git', "--git-dir=$git_dir", 'update-server-info'); - eval { require PublicInbox::SearchIdx; PublicInbox::SearchIdx->new($git_dir, 2)->index_sync; -- cgit v1.2.3-24-ge0c7