[darcs-devel] [patch2118] ci: include pending files in the git commit (and 21 more)

[Ganesh Sittampalam]

Reviewing followups:

> patch 700f7397ab87a3a15cd3022289f0eb84cb6bf57a
> Author: Ben Franksen <ben.franksen at online.de>
> Date:   Sat Nov 21 16:48:00 CET 2020
>   * ci: add comments and slightly extend the trigger-ci script
>   
>   The comment explains that what is committed into the git repo is the pending
>   unrecorded state, not the recorded state. Also remove the redundant
>   --pending flag for darcs show files. Instead, add -A flag to 'git add' in
>   order to include pending file removals with the commit.

OK

> patch 848145778a8a8b6f8f6f1be9c61e52df2ca39e5b
> Author: Ben Franksen <ben.franksen at online.de>
> Date:   Sat Nov 21 17:04:53 CET 2020
>   * tests/lib: add comments to explain special Windows settings

OK