git rename remote branch
By Darren Wuckert at Jul 15 2020
rename remote branch in git
By Glenda Predovic at Jun 16 2020