Back up changes before build and restore afterwards
Replaces git restore
with a stash-based workflow. Might come in handy, but it's no longer an urgent bug fix. Follow-up for f5e61349.
Replaces git restore
with a stash-based workflow. Might come in handy, but it's no longer an urgent bug fix. Follow-up for f5e61349.