git: Improve output of git-pull-all
[shutils.git] / restpublish.py
2022-12-19 Stefan HuberAdd restpublish.py