push/pull: rename `channel` option

Created by  loewenheim  on December 4, 2020
QWD7UE766WLJ3JZU7L2UXMV7Q236DSDMH2CCI4M6HIA4QA3QVFAQC
Change contents