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