Moving From Gitlab to Github Steps

0. Admin: check that the latest commit on Gitlab is on Github ✅

1. Admin: make sure Gitlab branches conus-dps and primarykeyv2 are protected so no one can push to them ✅

2. Admin: turn off mirroring push in Gitlab repository ✅

3. Everyone: run these steps in the places where you've checked out your code:

   Make sure your local is up to date:

   cd <to-your-checked-out-fireatlas_nrt-repo>
   git fetch
   git fetch --tags

   List out the remote repository aliases (you probably only have ones called "origin"):

   $ git remote -v
   origin  https://repo.maap-project.org/gcorradini/fireatlas_nrt.git (fetch)
   origin  https://repo.maap-project.org/gcorradini/fireatlas_nrt.git (push)

   Now swap out that "origin" remote URL:

   git remote set-url origin git@github.com:Earth-Information-System/fireatlas.git

   Double check your work to make sure remote origin is updated:

   $ git remote -v
   origin  https://github.com/Earth-Information-System/fireatlas.git (fetch)
   origin  https://github.com/Earth-Information-System/fireatlas.git (push)

4. Admin: after everyone has moved over then archive the repo

5. Admin: then start async migrating 1) boards, 2) issues and 2) the single PR from Gitlab to Github