In the case of a git.UpToDate operation with an onchange that failed, the only way to rerun the failed onchange is to push another commit to the remote repository.
We should add a feature to mark a certain state operation as force-changed so that the onchange commands are re-run.
Perhaps in addition, track command failures and automatically force-change operations as needed.
In the case of a
git.UpToDate
operation with an onchange that failed, the only way to rerun the failed onchange is to push another commit to the remote repository.We should add a feature to mark a certain state operation as force-changed so that the onchange commands are re-run.
Perhaps in addition, track command failures and automatically force-change operations as needed.