我对 Git 有点陌生，我必须将来自本地分支的 HEAD 与远程分支进行比较。
在 lokal 分支上，我使用以下命令获取 HEAD：
git rev-parse --short HEAD
root@debian:xxxx# git rev-parse --short HEAD
469xxx
但是如何获得远程分支的短 HEAD 呢？例如：
https://github.com/openssl/openssl
最新的短头在那里“cded951”
就我而言，获取 HEAD 并进行比较就可以了。
If local HEAD != remote HEAD do xyz
对于此检查，我需要我的 github 分支的远程 HEAD。
此致 ：）
解决方案：
git remote update
if ! git diff --quiet origin/master; then
echo "the branch is different!"
else
echo "the branch is equal!"
fi
要检查您的本地分支是否与关联的远程跟踪分支不同（假设您在该master分支上）：
git remote update
if ! git diff --quiet origin/master; then
echo "the branch is different!"
fi
你也可以写：
git diff --quiet @{u}
Where@{u}指的是远程跟踪分支，因此这适用于任何跟踪远程分支的本地分支。
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句