tag doc: reword --[no-]merged to talk about commits, not tips
[gitweb.git] / ci /
drwxr-xr-x   parent (dest: ; base: 8881d35cace41604dba72c1b6b5ab5a59e0c2b94)
-rwxr-xr-x 213 test-documentation.sh