pullrequests Search Results · language:Dune language:Python language:JavaScript language:CSS language:Python language:JavaScript
Filter by
155M results
Bumps ip-address from 10.1.0 to 10.2.0. details summary Commits /summary ul li a href=
https://github.com/beaugunderson/ip-address/commit/80fccaae984618f35dc941efab55cf2440ab37e8 code 80fccaa /code /a ...
dependencies
javascript
Summary
- add nullable docString field to the types extractor schema and output
- extract declaration docstrings with Lean.findDocString?
- cover docstring presence and absence in extractor tests ...
Releasing 14.0.0 (OAS: 16.0.0)
This pull request was created by @kiro-agent on behalf of @IndustrialBrace :ghost:
Comment with /kiro fix to address specific feedback or /kiro all to address everything. sub Learn about Kiro Web /sub ...
Cycle-2 review BLOCKER (F3), fast-tracked. The single highest-severity finding: a real tamper-evidence hole in the OSS
sectum-ai verify path.
Problem
verify_bundle s integrity loop iterated only the ...
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
🤖 AI Security Remediation
🟢 Auto-merge eligible — will merge after CI passes.
📊 Analysis
- Severity: MEDIUM
- Confidence: 85%
- Auto-fix allowed: True
📝 Summary
The application uses subprocess ...
ai-remediation
severity-medium
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
Summary
Pushes the document workbench further toward the Mike-calibre document surface using the stack already in the repo,
without adding a parallel runner or new backend substrate.
- Adds PDF search-hit ...