This website requires JavaScript.
Explore
Help
Sign In
Alex
alex
0 Followers
·
0 Following
Joined on
2026-05-11
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues.
Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
13
Projects
Packages
Public Activity
Starred Repositories
1
alex
pushed to
dev
at
alex/headquarter
2026-05-27 22:34:26 +02:00
c63cf7db50
fix: handle existing git mount dirs and invalid compose ports
alex
pushed to
dev
at
alex/headquarter
2026-05-27 22:29:39 +02:00
d9d2b91384
fix: skip port mapping for terminal-only tools in dockerfile compose
alex
pushed to
dev
at
alex/headquarter
2026-05-27 22:17:00 +02:00
d6ea5fb1fd
chore: clean up debugging logs and console prints
alex
pushed to
dev
at
alex/headquarter
2026-05-27 22:08:02 +02:00
1883825b18
fix: run docker build in thread pool to avoid blocking API
alex
pushed to
dev
at
alex/headquarter
2026-05-27 22:02:19 +02:00
bc71fd6fac
fix: lowercase docker image tag to avoid invalid reference format
alex
pushed to
main
at
alex/headquarter
2026-05-27 21:58:36 +02:00
7000f2075d
docs: add SDD verify report for responsive terminal
a01e6252f5
docs: add responsive terminal documentation
6c8cfe9157
feat: responsive web terminal with auto-reconnect, heartbeat, and local echo
Compare 3 commits »
alex
pushed to
dev
at
alex/headquarter
2026-05-27 16:30:28 +02:00
28aa9ccf5a
feat: add pi-agent tool type migration
alex
pushed to
dev
at
alex/headquarter
2026-05-27 16:27:27 +02:00
52ea30bb39
feat: add pi-agent tool type migration
alex
pushed to
dev
at
alex/headquarter
2026-05-27 16:24:51 +02:00
1ab304b0a4
feat: add pi-agent tool type migration
alex
pushed to
dev
at
alex/headquarter
2026-05-27 16:20:38 +02:00
e7d9f37222
feat: add pi-agent tool type migration
alex
pushed to
dev
at
alex/headquarter
2026-05-27 16:02:33 +02:00
b9bd1392f4
feat: add pi-agent tool type migration
alex
pushed to
dev
at
alex/headquarter
2026-05-27 15:51:45 +02:00
44dd80cb58
feat: add tool-images directory with Dockerfiles for all base tool types
alex
pushed to
dev
at
alex/headquarter
2026-05-27 15:34:52 +02:00
23485833d8
docs: clarify git mount target path hint
alex
pushed to
dev
at
alex/headquarter
2026-05-27 15:33:07 +02:00
e23dcdf4e1
fix: remove broken ~ expansion, require working_directory for relative paths
alex
pushed to
dev
at
alex/headquarter
2026-05-27 15:27:45 +02:00
f05ac55875
fix: expand ~ in git mount target paths to avoid /tmp
alex
pushed to
dev
at
alex/headquarter
2026-05-27 15:17:36 +02:00
bcefeb4163
fix: git mount add button not adding mounts
alex
pushed to
dev
at
alex/headquarter
2026-05-27 15:05:17 +02:00
33d08faf70
feat: allow relative target paths for git mounts
alex
pushed to
dev
at
alex/headquarter
2026-05-27 14:45:59 +02:00
8a58c61278
fix: align git mount implementation with spec
8231e750d9
docs: update spec to use remote_url instead of repo_id for git mounts
6ce645d210
fix: correct API endpoints for repository listing
89ca9f10c7
feat: simplify git mounts to use direct URLs instead of repo references
Compare 4 commits »
alex
pushed to
dev
at
alex/headquarter
2026-05-27 11:18:20 +02:00
baabd1fa62
feat: allow creating external repositories directly from git mount editor
f14fc37e75
docs: update API docs for external repositories and git mounts
e07938098a
feat: add external repository support for config profile git mounts
Compare 3 commits »
alex
pushed to
dev
at
alex/headquarter
2026-05-27 10:48:26 +02:00
943b9db5c7
fix: remove merge migration that references non-existent file
Previous
29
Next
