I've scanned the documentation here and I see no mention of how to reset to a branch's latest commit. I only see [<commit>] used but sure enough, you can specifiy 'origin/develop' in git reset --hard origin/develop and it works.
Am I missing something in the docs, or is there something implicit in git that I am not groking?