git.peopleswar

git.peopleswar

A web interface to my git repositories

Name	Description	Owner	Idle
night-moon.git	shenanigans with lean4	root	3 hours

generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 23:55:02 +0000