#6095: post-receive traceback on dist-git