DOKK / manpages

Man pages matching name git-rename-file in section 1:

git-rename-file.1.en debian 13 / git-extras