2025-11-01 - 2026-05-01
Overview
5 pull requests proposed by 1 user
Proposed
#1 IRC: split on word if possible, + flush
Proposed
#4 use html2md on web_fetch (fixes #3)
Proposed
#6 Paper: fix wording so Sections 2.5 and 3.3 less likely to be read as contradicting
Proposed
#7 Paper subtitle suggestion (subtitle requires koma-script)
Proposed
#8 Paper: strengthen Section 4.1
2 issues closed from 1 user
Closed
#3 Brainstorming URL-fetch preprocessing
Closed
#2 Investigating user-agent restrictions
3 issues created by 1 user
Opened
#2 Investigating user-agent restrictions
Opened
#3 Brainstorming URL-fetch preprocessing
Opened
#5 Access to Google and Gemini