update figures for episode 07-github

epiverse-trace · Nov 12, 2023 · f40fcd7 · f40fcd7
1 parent f65b3af
commit f40fcd7
Show file tree

Hide file tree

Showing 11 changed files with 8 additions and 2 deletions.
diff --git a/episodes/07-github.md b/episodes/07-github.md
@@ -78,7 +78,7 @@ which looked like this:
 
 Now that we have two repositories, we need a diagram like this:
 
-![](fig/git-freshly-made-github-repo.svg){alt='Freshly-Made GitHub Repository'}
+![](fig/git-freshly-made-github-repo.png){alt='Freshly-Made GitHub Repository'}
 
 Note that our local repository still contains our earlier work on `sitrep.Rmd`, but the
 remote repository on GitHub appears empty as it doesn't contain any files yet.
@@ -409,7 +409,7 @@ to make Git default to using the terminal for usernames and passwords.
 
 Our local and remote repositories are now in this state:
 
-![](fig/github-repo-after-first-push.svg){alt='GitHub Repository After First Push'}
+![](fig/github-repo-after-first-push.png){alt='GitHub Repository After First Push'}
 
 :::::::::::::::::::::::::::::::::::::::::  callout
 
@@ -633,6 +633,12 @@ create mode 100644 README.md
 
 ::::::::::::::::::::::::::::::::::::::::::::::::::
 
+::::::::::::::::: checklist
+
+[Use `git pull` to download content from a remote repository to the workspace and update the local repository to match that content. Use `git push` to upload local repository content to a remote repository.](cut-git-verb_map-09.png)
+
+:::::::::::::::::::::::::::
+
 :::::::::::::::::::::::::::::::::::::::: keypoints
 
 - A local Git repository can be connected to one or more remote repositories.

diff --git a/episodes/fig/cut-git-verb_map-08.png b/episodes/fig/cut-git-verb_map-08.png
diff --git a/episodes/fig/cut-git-verb_map-09.png b/episodes/fig/cut-git-verb_map-09.png
diff --git a/episodes/fig/cut-git-verb_map-10.png b/episodes/fig/cut-git-verb_map-10.png
diff --git a/episodes/fig/cut-git-verb_map-11.png b/episodes/fig/cut-git-verb_map-11.png
diff --git a/episodes/fig/git-freshly-made-github-repo.png b/episodes/fig/git-freshly-made-github-repo.png
diff --git a/episodes/fig/github-create-repo-01.png b/episodes/fig/github-create-repo-01.png
diff --git a/episodes/fig/github-create-repo-02.png b/episodes/fig/github-create-repo-02.png
diff --git a/episodes/fig/github-create-repo-03.png b/episodes/fig/github-create-repo-03.png
diff --git a/episodes/fig/github-find-repo-string.png b/episodes/fig/github-find-repo-string.png
diff --git a/episodes/fig/github-repo-after-first-push.png b/episodes/fig/github-repo-after-first-push.png