I want to get the last commit ID of the remote git repo.
The command git rev-parse HEAD works for a locally-cloned git repo, but I want
git rev-parse HEAD
Simplest way I use:
git rev-parse origin/develop