]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 8317f27) | patch
import: run git-update-server-info when done
authorEric Wong <e@80x24.org>
Thu, 28 Apr 2016 01:03:31 +0000 (01:03 +0000)
committerEric Wong <e@80x24.org>
Thu, 28 Apr 2016 01:03:31 +0000 (01:03 +0000)
commite983376326eab20daac9c2bfbb65b88c4fd248a2
treeac7675388c06bcf44336420d82252845a54da618tree
parent8317f27e2c99fd5dea393183948b373bd0df1fc0commit | diff
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.
lib/PublicInbox/Import.pm diff | blob | history
script/public-inbox-index diff | blob | history
script/public-inbox-mda diff | blob | history
My patches to https://public-inbox.org/public-inbox.git