pullrequests Search Results · language:Dune language:JavaScript language:Python language:Java language:Python language:Python
Filter by
40.1M results
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]
Proves gcd-quad-factored-n1-eq-n1: for all n : ℕ, Nat.gcd (n ^ 2 + 3 * n + 2) (n + 1) = n + 1.
Since n²+3n+2 = (n+1)(n+2), (n+1) ∣ (n²+3n+2) (witness n+2, ring), so Nat.gcd_eq_right gives gcd (n²+3n+2) ...
chat-bit-01
🤖 AI Security Remediation
🚨 Human approval required — please review before merging.
📊 Analysis
- Severity: HIGH
- Confidence: 95%
- Auto-fix allowed: False
📝 Summary
The code uses subprocess.call ...
ai-remediation
needs-human-review
severity-high
gangiiopsdev
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
What
New trajectory / trajectory-json CLI commands (+ just trajectory / just trajectory-download) that turn a GPS trajectory
into the 1 km grid windows it crosses (EPSG:2180) and optionally download the ...
macnack
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
Update tools in pre-commit configs and dependencies to latest version
dependencies
github-actions[bot]
Fixes #3255
Summary
- Reuses build_kaikki_lookup._clean_gloss for dmklinger translation gloss parsing.
- Extends _clean_gloss to unwrap meta-only prefixes before a colon, e.g. Alternative form of ...
krisztiankoos
Problem
A foreground Codex task can hang until the caller s external process timeout kills it with no output. Two distinct
defects in scripts/lib/codex.mjs:
1. Unbounded, un-rejectable completion await. ...
russjhammond
Summary
- Removed the wave-bg class from the centered max-w-6xl/max-w-3xl content sections, which had confined the wave to a
narrow center column with empty margins on either side.
- The full-width ...
anishpentyala