Port: Time runs on Gitea (teahub.xyz) #47

Merged

teahubxyz merged 1 commits from port/gitea into main

2026-10-14 06:55:19 +00:00

Author	SHA1	Message	Date
teahubxyz	1b125e41ef	port: Time runs on Gitea (teahub.xyz) ci / test (pull_request) Successful in 36s Details GitHub was the proof of concept; prod is Gitea on Fly. time.py speaks Gitea's API: limit not per_page, labels by id, trust via the collaborator permission endpoint (no author_association), commit statuses as checks (no check-runs), POST .../merge {Do: squash}, POST .../branches, GET .../pulls/N.diff, bot user gitea-actions. .gitea/workflows is protected like .github/workflows. The mention workflow filters only Time's own comments; who may spend credits is checked in time.py. Tests: fake Gitea; venture-loop tests gated behind TIME_TEST_VENTURE until venture.py is ported.	2026-10-13 23:53:48 -07:00

Author

SHA1

Message

Date

teahubxyz

1b125e41ef

port: Time runs on Gitea (teahub.xyz)

ci / test (pull_request) Successful in 36s

Details

GitHub was the proof of concept; prod is Gitea on Fly. time.py speaks Gitea's API: limit not per_page, labels by id,
trust via the collaborator permission endpoint (no author_association), commit statuses as checks (no check-runs),
POST .../merge {Do: squash}, POST .../branches, GET .../pulls/N.diff, bot user gitea-actions. .gitea/workflows is
protected like .github/workflows. The mention workflow filters only Time's own comments; who may spend credits is
checked in time.py. Tests: fake Gitea; venture-loop tests gated behind TIME_TEST_VENTURE until venture.py is ported.

2026-10-13 23:53:48 -07:00