[PATCH v5 0/6] git help: group common commands by theme

This v5 includes suggestions from Junio C Hamano, Eric Sunshine and Emma Jane Hogbin Westby, as well as a complete and much cleaner rewrite of the generate-cmdlist parser in awk by Eric Sunshine.

The main idea of this version is to go a little further in the idea of making 'git help' a warmer welcome to the unfamiliar user, by a gentle summary of the typical Git workflow. Instead of simply telling what the Git common commands are, we rather explain how they fit in the typical workflow, ordered in (chrono)logical order:

1. I setup my repo (init)
2. I work on changes (worktree)
3. I gather information on the history (info)
4. I grow, tweak and clean my local history (history)
5. To finally share my nice contribution with the world (remote)

Sébastien Guimmara (6):
  generate-cmdlist: parse common group commands
  help.c: output the typical Git workflow
  command-list.txt: group common commands by theme
  Makefile: update to new command-list.txt format
  new-command.txt: mention the common command groups
  cmd-list.perl: ignore all lines until [commands]

 Documentation/cmd-list.perl         |  8 +++++-
 Documentation/howto/new-command.txt |  4 ++-
 Makefile                            |  8 +++---
 command-list.txt                    | 56 ++++++++++++++++++++++---------------
 generate-cmdlist.awk                | 38 +++++++++++++++++++++++++
 help.c                              | 25 +++++++++++++++--
 6 files changed, 109 insertions(+), 30 deletions(-)
 create mode 100644 generate-cmdlist.awk