update pull.py

This commit is contained in:
gauthiier
2021-12-10 13:40:07 +01:00
parent 50a95d501a
commit d1527a1ca9