Maintianing multiple git remotes
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

Date: May 7, 2020

[code]
  git remote -v
  git remote add gitlab <url>
  git push gitlab main