Closed sebasmannem closed 1 year ago
We sometime run into pull commands failing where running git pull directly does work. Let's change this to running git pull directly which is not ideal either, but at least it has a higher expectancy to work in all situations.
git pull
Fixed with PR #54
sebasmannem
commented
1 year ago
We sometime run into pull commands failing where running
git pulldirectly does work. Let's change this to runninggit pulldirectly which is not ideal either, but at least it has a higher expectancy to work in all situations.