issues Search Results · language:Dune language:Python language:JavaScript language:JavaScript language:Java language:Python
Filter by
54.8M results
https://github.com/sarangd-LG/File_Extractor/blob/35779ef3392c0c78727b3ba1a810b49a8cf32a63/app.py#L226
Summary
Following the bundled coding-agent skills to add Traigent to an existing agent (install: pip install
traigent[recommended] → traigent 0.12.0), the custom_evaluator example does not match the shipped ...
bug
documentation
Problem
When junior creates tasks directly (create_task / decompose_task), it bypasses the planner skill and omits the weighting
signals the focus engine relies on — consequence, severity, contributes_to, ...
enhancement
In the CMI portal gui menu, there is a map icon. Seems like the crash results from MapTooltip trying to render the map.
A command example: /cmi portals edit [portalname]
Crash report: https://mclo.gs/qUneBlh ...
📊 过期文档检查报告 在定期检查中发现了一些超过 30 天未更新的文档,建议进行内容审查和更新。 ## 过期文档 (30天未更新)
- docs/zh/reference/changelog.md (版本: 1.0.3, 最后更新: 2026-04-17)
- docs/en/tracing/index.md (版本: 1.0.0, 最后更新: 2025-08-29)
- docs/zh/tracing/index.md ...
automated
documentation
maintenance
Now that we have many activities, the list on the left is too long so it is hard to navigate. And the add dialog is far
away from the activity.
- Move the cards to the bottom
- Remove the registration ...
enhancement
It could be possible that a user has changed the contents of a wiki page. If so during this page is not allowed to be
automatically changed by the ingester. When the ingester like to change the contents ...
Problem
Students are removing each other to free up space for themselves in the activities.
Recommended Solution
Add a user icon in the top right. When clicked it shows a login button. When the login ...
enhancement
The GitHub Skills activity announced by our principal is missing from the school activities signup page.
Yesterday in the school assembly, the principal announced a new partnership with GitHub to teach ...
enhancement
There seems to be no order to the activities. Please fix this.
Here are my ideas, maybe in a toolbar above the activity cards.
- Add some filters, for example by category. If needed, add a field to ...
enhancement

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 IssuesProTip! Restrict your search to the title by using the in:title qualifier.