[ARVADOS] deleted: f3b393533d3d3a4ca6ae33b4bb3b42b4bc6c8bca

[Git user]

       was  f3b393533d3d3a4ca6ae33b4bb3b42b4bc6c8bca

-----------------------------------------------------------------------
f3b393533d3d3a4ca6ae33b4bb3b42b4bc6c8bca 4310: Remove stderr redirect from git rev-list, add it to git tag.  Prefix log output with "dispatch: ".  Tweak error message if rev-list fails.
-----------------------------------------------------------------------


hooks/post-receive
--