Do not error out if git pull fails on subprojects. Closes #720.
parent
d3ce0a4395
commit
808451b5c7
1 changed files with 4 additions and 1 deletions
Loading…
Reference in new issue