Allow remotes to have a different push and pull address

Created by  pmeunier  on August 4, 2021
ZSFJT4SFIAS7WBODRZOFKKG4SVYBC5PC6XY75WYN7CCQ3SMV7IUQC
Change contents