pullrequests Search Results · language:Dune language:Python language:CSS language:HTML language:TypeScript language:PHP
Filter by
28.7M results
Motivation
- Prevent the audit failure where local runtime files or ChatGPT Project Knowledge are treated as the repository
source of truth before checking GitHub current/.
- Clarify that package_manifest.json, ...
squidgameshopua-eng
Adds tldr, a small plugin that keeps Claude Code s replies short. You turn it on and answers stay under five lines until
you turn it off. Useful when you just want the result without scrolling through ...
rodrigooler
oyi77
🎯 What: Removed the alias BrowserRouter as Router and replaced its usages with BrowserRouter in src/App.jsx. 💡 Why: This
improves maintainability by removing unnecessary aliases and addresses the identified ...
jonatanjunior13-max
Automated test pull request
aws-aemilia-pdx
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
pull[bot]
Summary
Adds a department column to opportunities that maps the flat agency string to its parent cabinet-level department using
a hardcoded lookup (mapAgencyToDepartment()). This enables structured filtering ...
devin-ai-integration[bot]
With --ir, ESBMC reasons over reals — the same semantic level as the Lean proof — so the two become directly comparable.
This adds that comparison.
lean/README.md
New ** Lean vs. ESBMC --ir (apples-to-apples) ...
lucasccordeiro
What
Backfills the changeset that was omitted when #282 (releases login — device authorization, RFC 8628) merged.
Why
Auditing recent CLI work surfaced that #282 merged without a changeset. Since the ...
zachdunn
jgardnernoaa