Alex alex
0 Followers · 0 Following
  • Joined on 2026-05-11
Repositories
13
 Projects Packages Public Activity Starred Repositories
1
alex created branch fix/terminal-context-copy in alex/headquarter 2026-07-22 14:15:48 +02:00
alex pushed to dev at alex/headquarter 2026-07-22 13:01:33 +02:00
75b67f2a6f merge: use ctrl shift c for terminal output copy
bcc7486b59 fix(terminal): use ctrl shift c for output copy
Compare 2 commits »
alex pushed to fix/terminal-copy-shortcut at alex/headquarter 2026-07-22 13:01:33 +02:00
alex created branch fix/terminal-copy-shortcut in alex/headquarter 2026-07-22 13:01:33 +02:00
alex pushed to dev at alex/headquarter 2026-07-22 12:52:22 +02:00
29e765b2be merge: support terminal browser clipboard shortcuts
d14cdc1151 fix(terminal): support browser clipboard shortcuts
Compare 2 commits »
alex pushed to fix/web-terminal-clipboard at alex/headquarter 2026-07-22 12:52:21 +02:00
d14cdc1151 fix(terminal): support browser clipboard shortcuts
alex created branch fix/web-terminal-clipboard in alex/headquarter 2026-07-22 12:52:21 +02:00
alex pushed to dev at alex/headquarter 2026-07-22 11:52:45 +02:00
c80dbf9737 merge: preserve mounted profile file updates
5331a0f110 fix(config-profiles): preserve mounted file inodes
Compare 2 commits »
alex pushed to fix/profile-mount-write-propagation at alex/headquarter 2026-07-22 11:52:44 +02:00
5331a0f110 fix(config-profiles): preserve mounted file inodes
alex created branch fix/profile-mount-write-propagation in alex/headquarter 2026-07-22 11:52:43 +02:00
alex pushed to fix/profile-file-bind-inode at alex/headquarter 2026-07-22 11:37:56 +02:00
alex created branch fix/profile-file-bind-inode in alex/headquarter 2026-07-22 11:37:56 +02:00
alex pushed to dev at alex/headquarter 2026-07-22 11:37:56 +02:00
b995521e22 merge: preserve profile file bind mount updates
5610017f50 fix(config-profiles): preserve bound file inodes
Compare 2 commits »
alex pushed to dev at alex/headquarter 2026-07-22 11:23:37 +02:00
61e7d68d71 merge: synchronize shared profile mount working copies
2247ec47c9 fix(config-profiles): synchronize shared mount working copies
Compare 2 commits »
alex pushed to fix/live-config-profile-file-sync at alex/headquarter 2026-07-22 11:23:21 +02:00
2247ec47c9 fix(config-profiles): synchronize shared mount working copies
alex created branch fix/live-config-profile-file-sync in alex/headquarter 2026-07-22 11:23:21 +02:00
alex pushed to dev at alex/headquarter 2026-07-21 21:18:27 +02:00
0d6c1926ae merge: add Git mount refresh feedback
900a8e47a5 fix(config-profiles): show Git mount refresh progress
Compare 2 commits »
alex pushed to fix/git-mount-refresh-feedback at alex/headquarter 2026-07-21 21:14:10 +02:00
900a8e47a5 fix(config-profiles): show Git mount refresh progress
alex created branch fix/git-mount-refresh-feedback in alex/headquarter 2026-07-21 21:14:10 +02:00
alex pushed to dev at alex/headquarter 2026-07-21 20:54:56 +02:00
25e870ba43 merge: fix container mount layering
16984b7cf6 fix(containers): compose profile and Git mounts safely
Compare 2 commits »