To start: there are three locations:
- your local machine (you're editing files here)
- your personal remote (this lived on github)
- the mozilla remote (this also lives on github)
When working on "things", the basic idea is to, before you start editing things, make sure all three locations have the same develop
branch. The mozilla remote is the boss here, so the idea is to ask it what the most up to date code is, then update your local machine develop
branch to be the same as that, and to then push your local copy up to your personal remote:
$> git fetch mozilla