Man pages matching name git-annex-push in section 1:

git-annex-push.1.en

debian 13 / git-annex