Merge branch 'local-typo-fix' into pu

* branch local-typo-fix:
  Fix a typo in a "local" statement

Typo fix for a variable name in a "local" statement.
Merge branch 'doc-formatting' into pu

* branch doc-formatting:
  Documentation: format insn sheet commands monospace

A small tweak to documentation formatting.
Merge branch 'dot-instruction' into pu

* branch dot-instruction:
  Add "." command in instruction sheet

New instruction to temporarily ignore an entry in the instruction
sheet.
Merge branch 'walk-commits-in-status' into pu

* branch walk-commits-in-status:
  status: include SHA-1 of merge to integration branch
  t3002: add a test with multiple up-to-date branches
  status: Extract status_base as a separate step

Show the SHA-1 of the merge which brings a branch into the integration
branch in the --status output.

I'm not completely convinced that this is a good thing...

Conflicts:
	git-integration.sh
Merge branch 'fixup-instruction' into pu

* branch fixup-instruction:
  Add a "fixup" instruction

The basic functionality is simple and working, but the --status output
is more interesting and I'm not convinced the current heuristic is
sufficiently robust.  The implementation in status_fixup could also
use some refactoring.

Conflicts:
	Documentation/git-integration.txt
Merge branch 'skip-option' into pu

* branch skip-option:
  WIP
  Add --skip option

Needs more work to be able to handle "branch not found".

Conflicts:
	git-integration.sh