ExternalProject: Use "git stash save" instead of "git stash"
ExternalProject: Strip out "origin/" from git tag
Merge topic 'ExternalProject_GitUpdate' into next

40bf640c ExternalProject: Strip out "origin/" from git tag
7cec5839 ExternalProject: Use "git stash save" instead of "git stash"