Skip to content

pullrequests Search Results · language:Dune language:Python language:JavaScript language:JavaScript is:merged language:TypeScript

Filter by

135M results  (3 s)

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 ...