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

Date: May 7, 2020

```
git remote -v
git remote add gitlab <url>
git push gitlab main
```