improve upstream merge strategy
Signed-off-by: Stephen Gutekanst <stephen@hexops.com>
This commit is contained in:
parent
b4a5468dcf
commit
dfac3e461d
1 changed files with 2 additions and 1 deletions
|
|
@ -3,4 +3,5 @@ set -euo pipefail
|
||||||
|
|
||||||
git remote add upstream https://github.com/KhronosGroup/Vulkan-Headers || true
|
git remote add upstream https://github.com/KhronosGroup/Vulkan-Headers || true
|
||||||
git fetch upstream
|
git fetch upstream
|
||||||
git merge upstream/main --strategy ours
|
git merge upstream/main || true
|
||||||
|
git status --porcelain | awk '{if ($1=="DU") print $2}' | xargs git rm
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue