Man pages matching name pull-debian-source in section 1:

pull-debian-source.1.en	debian 10 / ubuntu-dev-tools
pull-debian-source.1.en	debian 11 / ubuntu-dev-tools
pull-debian-source.1.en	debian 12 / ubuntu-dev-tools