2025-05-01 - 2026-05-01

Overview

5 active pull requests
3 active issues
Excluding merges, 2 authors have pushed 1187 commits to master and 1191 commits to all branches. On master, 1005 files have changed and there have been 172131 additions and 119157 deletions.

5 pull requests proposed by 1 user

Proposed #1 IRC: split on word if possible, + flush 2026-04-11 21:41:10 +00:00

Proposed #4 use html2md on web_fetch (fixes #3) 2026-04-12 10:14:35 +00:00

Proposed #6 Paper: fix wording so Sections 2.5 and 3.3 less likely to be read as contradicting 2026-04-15 10:24:37 +00:00

Proposed #7 Paper subtitle suggestion (subtitle requires koma-script) 2026-04-15 10:59:23 +00:00

Proposed #8 Paper: strengthen Section 4.1 2026-04-15 11:26:28 +00:00

2 issues closed from 1 user

Closed #3 Brainstorming URL-fetch preprocessing 2026-04-18 16:51:37 +00:00

Closed #2 Investigating user-agent restrictions 2026-04-12 08:45:59 +00:00

3 issues created by 1 user

Opened #2 Investigating user-agent restrictions 2026-04-12 08:45:28 +00:00

Opened #3 Brainstorming URL-fetch preprocessing 2026-04-12 09:18:12 +00:00

Opened #5 Access to Google and Gemini 2026-04-13 09:18:59 +00:00