Closed sjspielman closed 1 month ago
Judging by the fact that you marked at least one thing resolved, I wonder if there are local changes you hadn't pushed yet?
hm no, let me check what i clicked off and revive it, thanks!
I think it is okay if both live in this doc, but there should be clear instructions about what we will present.
(comment was about usethis
). I went back and forth on what to do here, and I decided that it would be best to just keep git config
in the notes and remove usethis
to avoid instructor (✋) confusion
I think we're about there!
Towards #179
This PR adds instructor notes for the new git activity, including setting up config, adding a token, init'ing a repo, and add/push/commit. For the PAT section, I also included instructions for using
usethis
to write the~/.gitconfig
file as an option. Let me know if anything is missed or should be expanded on!One question I have is whether I've placed this file in the right location and/or it's been reasonably documented. I wonder if we actually want to save this in something like
instructor_notes/supplemental_activities
so it's clearly separate from "regular" RRP notes?