Commit Graph

8 Commits

Author SHA1 Message Date
310994b77c Merge branch 'remove-repo' 2026-03-01 09:46:53 -08:00
0efc25834c Delete git repo on app removal via app:delete event 2026-03-01 09:45:50 -08:00
13fa2b202a .git 2026-03-01 09:42:22 -08:00
65d4fe85cf dont need it 2026-03-01 09:41:20 -08:00
5e21323b54 Refactor git UI into reusable page components 2026-03-01 09:39:02 -08:00
35341600c1 Add app-specific git repo view with push instructions 2026-03-01 09:34:58 -08:00
4b920a247d Support bare and non-.git URL patterns 2026-03-01 09:01:47 -08:00
01f23ace16 Add git HTTP server tool for push-to-deploy
A toes tool that implements the git smart HTTP protocol, allowing
users to push repos via `git push` and clone via `git clone`. On
receive, it extracts the code into a timestamped APPS_DIR directory
and activates it through the toes sync API.
2026-02-28 22:49:45 -08:00