issues Search Results · language:Dune language:Python language:Java language:Java language:CSS language:Java language:Java
Filter by
37.5M results
A /deep-review run (v0.23.0) found documented options that error with No such option :
1. `admin fields list --fields` — `docs/commands/admin.rst` (option table line 242; examples 254, 257). The command ...
Add endpoints for marking a CD nation as open for replacement and for a player to claim a replacement slot. Handle the
transition by clearing the CD flag and notifying all players. Apply a reliability ...
App ID
1549750
Image URL
https://www.steamgriddb.com/hero/97890
request
Ingest behavior depends heavily on config (converter, providers/models, vision settings, thresholds, docling_device,
summary_depth). With resumable, multi-invocation ingest (#164), config can drift between ...
enhancement
Extend the profile notifications section with an email opt-in toggle and explanation of what each notification covers.
Add a push notification nudge to the join dialog when push is not enabled, linking ...
问题
ginkgo component show name 显示 Type: FILE_TYPES.STRATEGY,应为 Type: strategy。
复现
ginkgo component show momentum
# Type: FILE_TYPES.STRATEGY ← 枚举的 repr()
# 应为: strategy
根因
CLI 输出时直接使用了枚举对象的 __repr__ ...
bug
P3
Add an email_notifications_enabled field to UserProfile and wire email to high-signal events: deadline warnings, phase
resolved, civil disorder, and game start. Change the default NMR extensions per game ...
Route pending games into the GameDetail layout with a template phase map (nations hidden, template units only). Add
Members and Chat tabs to the staging layout. Add a join confirmation dialog with a required ...
Start note - 2026-06-07 23:22 UTC
Session goal:
- Lane 11 -- Phase 2 fixdep dual-implementation lane
- add one bounded, additive Zig public-entry proof for scripts/zigux/fixdep.zig
- target the ...
Add pending game members to the Public Press channel on join and relax channel permissions to allow access in pending
games. Require a non-empty intro message on join for non-gunboat games, posted to Public ...

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.