Skip to content

issues Search Results · language:Edge language:Python linked:pr linked:pr language:Python

Filter by

2.6M results  (282 ms)

2.6M results

Suggested by Stefan Stoll

Problem ci_driver checks out the PR s head branch in a worktree, then hands Claude a prompt that includes the working directory but does NOT say stay on this branch . Claude, following the project s general ...
bug
severity:critical

incorrectly named action server type and server. instead of GotoColumn it should instead be PlayColumn
bug

Goal / Problem archetype: preflight evidence_tier: idea linked_policy: - docs/context/issue_1675_learned_risk_surface_interface.md - docs/context/policy_search/contracts/learned_local_policy_eligibility.md ...
enhancement
evidence:proposal
local planner
research
resource:local
state:ready

背景 SDFS/68 V1.2で DIR、LOAD、RUN addr、RUN filename、EXIT が揃ってきた。一方で実機確認中に、MacでSD上のファイルを触った後にAppleDouble風の副産物やhidden/system系entryが DIR に見えたり、RUN KHELL のような存在しないファイルで ? が見えないように見えるケースがあった。 TYPE 追加前に、既存コマンドの表示とエラー復帰を整える。 ...

Summary Two personal pain-point skills need tighter trigger language, safer execution contracts, and eval coverage: - personal-arsenal-lifecycle-doctor: clarify read-only discovery, source classification, ...

This issue is created automatically to track contribution activity.
Updation

Summary is_non_reviewer_role (in core/models/merge_clear.py) is the single shared helper behind the §17.8 clause 3 maker≠checker double-guard — both MergeClear.issue (issue-time) and merge_ticket_pr (merge-time) ...

https://gist.github.com/karpathy/442a6bf555914893e9891c11519de94f
ingest
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.