Utpal Mattoo

Regarding developer documentation support, in this section: https://github.com/github-samples/pets-workshop/blob/main/content/full-day/3-codespaces.md Issue: The first time, within codespaces, doing a `git push` under "Interacting with the repository", might result in "This repository is configured...