add rdg push git config entry for git protocol pushers (again)

add rdg push git config entry for git protocol pushers (again) #5182