git, syntax
git log --all --grep='PLA-1234'
git diff --name-only HashCode^ HashCode #这个可能有更好的解决方案, 暂时没找到