Sunday mob work on Issue 179 - mypy missing library stubs

[MichaelRWolf]

Description

Sunday mob work on #179 from 2024-11-03.

Unpushable by mob (see #181), thus this PR.

Summary by Sourcery

Document the retrospective of the mob session on 2024-11-03 and outline a plan for addressing Issue 179, including running mypy and creating a test script.

Documentation:

• Add a retrospective document for the mob session on 2024-11-03, capturing individual learnings and experiences.

Chores:

• Create a TODO plan for addressing Issue 179, including steps for running mypy and creating a bash script to demonstrate the problem.

[sourcery-ai[bot]]

Reviewer's Guide by Sourcery

This PR adds documentation from a mob programming session focused on mypy library stubs (Issue 179). The changes include a retrospective document from the session and a TODO/planning document, along with a new test script file.

No diagrams generated as the changes look simple and do not need a visual representation.

File-Level Changes

Change	Details	Files
Added retrospective documentation from the mob programming session	Added individual retrospectives from Susan, Jay, Diana, and Michael Documented learning outcomes and experiences from the session Captured insights about mob programming dynamics and collaboration	mob-sessions-retros/2024-11-03-retro.md
Added planning and TODO documentation for Issue 179	Listed planned steps for addressing the mypy issue Included notes about project approach and team preferences Added a tox.ini configuration diff for future reference	TODO_issue_179.md
Added new test script for Issue 179	Created an empty test script file that will be used to demonstrate the mypy issue	test_issue_179

---

Tips and commands

Interacting with Sourcery

• Trigger a new review: Comment @sourcery-ai review on the pull request.
• Continue discussions: Reply directly to Sourcery's review comments.
• Generate a GitHub issue from a review comment: Ask Sourcery to create an issue from a review comment by replying to it.
• Generate a pull request title: Write @sourcery-ai anywhere in the pull request title to generate a title at any time.
• Generate a pull request summary: Write @sourcery-ai summary anywhere in the pull request body to generate a PR summary at any time. You can also use this command to specify where the summary should be inserted.

Customizing Your Experience

Access your dashboard to:

• Enable or disable review features such as the Sourcery-generated pull request summary, the reviewer's guide, and others.
• Change the review language.
• Add, remove or edit custom review instructions.
• Adjust other review settings.

Getting Help

• Contact our support team for questions or feedback.
• Visit our documentation for detailed guides and information.
• Keep in touch with the Sourcery team by following us on X/Twitter, LinkedIn or GitHub.