Update git protocol doc and reformat core.rs#17

benjamin-747 merged 1 commit into

libra-tools:mainlibra-tools/git-internal:mainfrom

genedna:maingenedna/git-internal:mainCopy head branch name to clipboard