Skip to content

[pull] master from flypythoncom:master - #14

Merged
pull[bot] merged 3 commits into
TZ0385:masterfrom
flypythoncom:master
Sep 13, 2026
Merged

[pull] master from flypythoncom:master#14
pull[bot] merged 3 commits into
TZ0385:masterfrom
flypythoncom:master

Conversation

@pull

@pull pull Bot commented Sep 13, 2026

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

xxg1413 and others added 3 commits September 13, 2026 23:23
- paths/foundation: m0 orientation is now an optional extra-credit module
  (never first step, never badge-required); verify_paths understands
  "optional" and badge math excludes it. Route-challenge copy: the module
  pages live on flypython.com now, repo keeps the canonical markdown.
- six tool-course L01s (en+zh): step 2 pre-installs the Skill as optional
  (the entry sentence reads it from the URL); starter failure count
  corrected to "five classes + two end-to-end consequences = seven named
  failures".
- READMEs: new positioning line, same change both languages.

make check green (12 courses, 2 paths).

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
FP-1012: docs/repo-plan-0.1.0.md -> docs/repo-plan-0.1.x.md (community
courses are a post-launch 0.1.x track, not the launch version); CHANGELOG
gains the 0.0.9 and 0.1.0 sections recording FP-983/FP-984 and the rename.

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
FP-1012: pyproject 0.1.1 (the v0.1.0 tag stays immutable on e420fca);
CONTRIBUTING gains the release/tag rules — tags immutable, independent
repo/website versions linked by CHANGELOG + Release mapping, website
consumes only a pinned full SHA. CHANGELOG records the v0.1.0-website /
v0.1.1-repo compatibility.

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
@pull pull Bot locked and limited conversation to collaborators Sep 13, 2026
@pull pull Bot added the ⤵️ pull label Sep 13, 2026
@pull
pull Bot merged commit db85cdd into TZ0385:master Sep 13, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant