git: Fix git-pull-all echo again
[shutils.git] / restpublish.py
2022-12-19 Stefan HuberAdd restpublish.py