Reset demystified: Some semantic cleanup, and much de-capitalization#1188

ben merged 1 commit intomasterprogit/progit2:masterfrom

unknown repositoryCopy head branch name to clipboard