pullrequests Search Results · language:Dune language:Python language:JavaScript language:JavaScript is:merged language:TypeScript
Filter by
135M results
Clicking a date already opens the create flow, so the header button was redundant. Removed it; Settings stays.
🤖 Generated with Claude Code
Summary
When a ticket s PR is merged, the ticket now gets marked Done in its source provider instead of only moving to the
merged column locally. A new provider-neutral markTicketDoneWithConfig dispatches ...
Closes INFRA-378 Closes INFRA-381
🤖 Generated with Claude Code
Submitted by: Seth Miller Email: seth@dtmfleet.com Submitted at: 2026-06-04T15:40:19.308676+00:00 Category: general
Proposal ID: 0ce02116-478d-49fe-a5bc-92ab7ab8ce0c
Summary
Add agency: Beta SO
This ...
Wrap a climate entity as the cooler (heater_cooler) with fan/swing passthrough
Summary
Lets one dual_smart_thermostat entity combine an underfloor-heating switch (heat) with a real climate entity such ...
Bumps starlette from 0.52.1 to 1.0.1. details summary Release notes /summary p em Sourced from a href=
https://github.com/Kludex/starlette/releases starlette s releases /a . /em /p blockquote h2 Version ...
dependencies
python:uv
Records the preference (project memory) that GitHub-API squash/merge commits show as Unverified — committer
noreply@github.com — and that this is expected and fine. Documents not to rewrite/force-push ...