(a) only pull on rebuild? (faster for non-rebuilds, but you might lose out on changes)
(b) ignore failed pull unless for rebuild? (dangerous, as there could be other “more bad” failures that get ignored)
which option do you prefer? for now I have done (b), but not committed yet.
I like (b), will I get a warning of some kind ? Im also ok with rebuild ignoring a failed pull. As long as I get a warning saying its using the latest on my machine.
tricky, because that code level has no access to emitting errors or warnings right now, due to how the git code slots into the class structure. it just fails or doesn’t (the gilt error is of course emitted to the output). I‘ll Commit (b) for tomorrow, and look if i can restructure this for proper warnings, later