Skip to content

Doc difftool - #2077

Closed
jnavila wants to merge 4 commits into
gitgitgadget:masterfrom
jnavila:doc_difftool
Closed

Doc difftool#2077
jnavila wants to merge 4 commits into
gitgitgadget:masterfrom
jnavila:doc_difftool

doc: convert git-describe manual page to synopsis style

5de7aa4
Select commit
Loading
Failed to load commit list.
GitGitGadget / handle_pr_push succeeded Apr 2, 2026 in 21s

Handle PR push

Handling new commits in #2077

Details

This handles #2077, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/23917470596 for details.

View more details on GitGitGadget