issues Search Results · language:Dune language:Python language:Python language:Java language:JavaScript
Filter by
54.7M results
Home should default to the current week (Israel timezone), not all events.
PRD allows filtering by one or more regions; UI is single-select today.
Store Show | Jam | Workshop | Festival | Other on each event; stop inferring type from title/description keywords.
Part of #103.
cli/index_cmd.py (22%, 87 missed) and cli/embedding_cmd.py (29%, 51 missed) read low largely because they re
embedding-gated — the non-embedding CI lane never runs them, so their coverage ...
enhancement
testing
feature
lecture slides
Firebase Auth (or equivalent) for admins and optionally community users.
Show app version in the UI (e.g. footer); source from package.json and follow PR-linked semver (0.1.{PR_NUMBER} per
.cursor/rules/pr-versioning.mdc).
Theme toggle (system preference + manual override); define light/dark token sets and persist user choice.
Week/month calendar UI on home (in addition to or instead of the current chronological list).
Refresh theme/Tailwind palette (Mediterranean tones, local cultural cues) while keeping contrast and accessibility for
EN/HE.

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.