Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
project.py: fix west diff --manifest to use
manifest-rev
Fixes new `west diff --manifest` option added by commit 0d5ee4e ("app: project: Allow to diff against manifest revision") Do not pass `project.revision` to `git diff` because `project.revision` is unresolved user input and does not always resolve to a commit. For instance, `project.revision` can be the name of a remote branch like `v3.7-branch` that does not exist locally; then `git diff` fails. Or even worse: there could be a local branch of the same name which points to a totally different commit. This bug was found when discussing issue #747, see 7th comment there for a longer description of what `manifest-rev` is and how it works. Signed-off-by: Marc Herbert <[email protected]>
- Loading branch information