edu/stem-launcher
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • b0548f0e56 feat: support one Gitea organization per series main mpabi 2026-07-19 16:40:05 +02:00
  • 4dda6de387 fix: keep debugger pane maximized user 2026-07-17 17:07:08 +02:00
  • 8c7a67c471 docs: define container attach semantics user 2026-07-17 14:25:01 +02:00
  • 319e8b84f4 feat: orchestrate lesson sessions from stemctl user 2026-07-17 13:31:36 +02:00
  • 8d1379ec66 docs: document pinned workspace sources user 2026-07-17 09:22:59 +02:00
  • 45257057df feat: prepare pinned card workspace sources user 2026-07-17 08:26:53 +02:00
  • aa5335aca0 chore: select pointers workspace default user 2026-07-17 08:25:20 +02:00
  • 1d8f16303e docs: define host workspace and MCP access user 2026-07-17 08:25:07 +02:00
  • 1e1c124c9f feat: switch dynamic MCP container targets user 2026-07-17 08:24:37 +02:00
  • 1a98c14654 chore: complete stem-launcher rename mpabi 2026-07-14 18:08:40 +02:00
  • 61d00a6992 feat: add three-profile STEM container workflow mpabi 2026-07-14 17:49:36 +02:00
  • 9c0b833371 Pad host profile in runtime names mpabi 2026-05-11 23:49:02 +02:00
  • db093feec8 Prefix tmux container names with student mpabi 2026-05-11 23:46:34 +02:00
  • c022cbba23 Mount host identity files in tmux containers mpabi 2026-05-11 23:41:59 +02:00
  • 5cc912d191 Pass rv profile into tmux containers mpabi 2026-05-11 23:39:32 +02:00
  • bd25732428 Use named shell prompt for tmux containers mpabi 2026-05-11 23:35:30 +02:00
  • a426c54cab Use concise rvctl tmux and container names mpabi 2026-05-11 23:27:50 +02:00
  • 3db500390f Avoid duplicate user prefix in container names mpabi 2026-05-11 23:24:20 +02:00
  • 7e50f63dea Support host profile in tmux containers mpabi 2026-05-11 23:19:17 +02:00
  • c9f4e36709 Name tmux containers by user and session mpabi 2026-05-11 23:17:56 +02:00
  • 08353cd700 Run tmux containers with host user mounts mpabi 2026-05-11 23:07:06 +02:00
  • a8d1316717 Add tmux pane target for container commands mpabi 2026-05-01 23:09:31 +02:00
  • 0505b829a1 Add default series and card commands mpabi 2026-05-01 23:00:32 +02:00
  • 40cfa61f4c Add container workflow to README mpabi 2026-05-01 22:37:34 +02:00
  • afc96f7a8a Document future agent integration mpabi 2026-05-01 22:31:01 +02:00
  • 2204f82268 Integrate rvctl with rv32i and host debug profiles mpabi 2026-05-01 22:23:08 +02:00
  • 339d7d6872 Clarify workspace-info bootstrap in README mpabi 2026-04-29 20:49:09 +02:00
  • f959708363 Auto sync workspace manifest on first use mpabi 2026-04-29 20:47:21 +02:00
  • 170d8435aa Read series from workspace manifest mpabi 2026-04-29 20:42:30 +02:00
  • cb1fc4d450 Support directory tasks in cards mpabi 2026-04-29 20:03:42 +02:00
  • b3be495afb Add task shortcuts for default card mpabi 2026-04-29 11:33:18 +02:00
  • 445c4908ef Simplify documentation list mpabi 2026-04-29 02:56:03 +02:00
  • e0c8a2c8e1 Remove container quick start section mpabi 2026-04-29 02:54:08 +02:00
  • 3f83620342 Set answer upstream for task branches mpabi 2026-04-29 02:51:56 +02:00
  • f59c761d86 Remove series list explanation mpabi 2026-04-29 02:50:12 +02:00
  • 4290f2ffb6 Explain series list columns mpabi 2026-04-29 02:48:28 +02:00
  • fc628ee47a Trim series quick start intro mpabi 2026-04-29 02:48:08 +02:00
  • 6204845304 Add series task branch flow mpabi 2026-04-29 02:46:19 +02:00
  • e179ed1549 Clarify quick start prerequisites mpabi 2026-04-29 02:27:42 +02:00
  • 46f2f44118 Auto-rename origin during token sync mpabi 2026-04-29 02:21:59 +02:00
  • af96388f6a Clarify tokens json bootstrap flow mpabi 2026-04-29 02:13:48 +02:00
  • edab6c268a Clarify token metadata update mpabi 2026-04-29 02:11:55 +02:00
  • b67c5b5204 Use Polish diacritics in docs mpabi 2026-04-29 02:09:30 +02:00
  • dedde573f7 Simplify student workspace bootstrap mpabi 2026-04-29 02:02:06 +02:00
  • c4656e0b73 Restructure student bootstrap steps mpabi 2026-04-29 01:57:30 +02:00
  • 8382cb92e9 Document tokens json bootstrap listings mpabi 2026-04-29 01:51:43 +02:00
  • 5ae0ed24b0 Document tokens json clone bootstrap mpabi 2026-04-29 01:42:42 +02:00
  • 6912bb324c Document token compare bootstrap output mpabi 2026-04-29 01:37:47 +02:00
  • 12e7154905 Use readable tree blocks in README mpabi 2026-04-29 01:32:35 +02:00
  • 73a362d898 Document workspace bootstrap layout mpabi 2026-04-29 01:31:17 +02:00
  • 970219f445 Clarify tasks in series docs mpabi 2026-04-29 01:21:44 +02:00
  • d50a6e1919 Document containers command namespace mpabi 2026-04-29 01:09:41 +02:00
  • 6138bdc321 Mention tasks in launcher overview mpabi 2026-04-29 01:07:24 +02:00
  • 9881a8f48b Clarify rvctl technical docs role mpabi 2026-04-29 01:05:54 +02:00
  • ced825ec8d Document series command namespace mpabi 2026-04-29 01:02:02 +02:00
  • 2630392186 Clarify launcher README intro mpabi 2026-04-29 00:54:52 +02:00
  • 0923646add Clarify rvctl README wording mpabi 2026-04-29 00:47:43 +02:00
  • 8655a97347 Update launcher README overview mpabi 2026-04-29 00:33:21 +02:00
  • 78fb9daf2f Add token refs and unknown scope display mpabi 2026-04-27 07:15:48 +02:00
  • 6d1d23e1cc Document remote token restore flow mpabi 2026-04-27 21:27:51 +02:00
  • 77f9f1ccf4 Tighten token CLI commands mpabi 2026-04-27 21:23:04 +02:00
  • a98159d062 Reset API metadata on remote token sync mpabi 2026-04-27 21:18:38 +02:00
  • 57a779bfad Tighten token docs introduction mpabi 2026-04-27 21:12:23 +02:00
  • f121ef232f Rework token workflow documentation mpabi 2026-04-27 21:10:23 +02:00
  • 2e1b477dc0 Infer remote URL when syncing token store mpabi 2026-04-27 20:54:43 +02:00
  • 147468c48d Split token scan and compare commands mpabi 2026-04-27 20:23:04 +02:00
  • 2ab1a428e7 Remove Git remote when deleting remote token mpabi 2026-04-27 20:03:25 +02:00
  • ffd12c9905 Strip remote credentials without deleting remotes mpabi 2026-04-27 19:59:45 +02:00
  • e60b7c9148 Handle Gitea all token scope mpabi 2026-04-27 19:55:32 +02:00
  • 8c6f713de5 Add token list command mpabi 2026-04-26 22:28:31 +02:00
  • bd2d530852 Add token remove command mpabi 2026-04-26 22:19:22 +02:00
  • 55c52c7b4f Restructure token store by remote id mpabi 2026-04-26 22:12:45 +02:00
  • d2d200257f Add token skeleton command mpabi 2026-04-26 21:56:07 +02:00
  • e9933d7385 Use Gitea scope permission mask mpabi 2026-04-26 21:42:25 +02:00
  • 8c0f95d996 Use token list schema for token store mpabi 2026-04-26 21:33:14 +02:00
  • 7e62be4ca1 Respect dry run for token remote update mpabi 2026-04-26 21:13:13 +02:00
  • 1a66e161aa Make token scan read-only mpabi 2026-04-26 21:12:16 +02:00
  • f92a7c8257 Support token expiration metadata mpabi 2026-04-26 21:00:14 +02:00
  • f6f257aed5 Show endpoint port in host column mpabi 2026-04-26 20:53:33 +02:00
  • 6e065dbd08 Add token validity and endpoint columns mpabi 2026-04-26 20:52:44 +02:00
  • 2885d3a4fa Render token scan as compact token table mpabi 2026-04-26 20:49:35 +02:00
  • a9d0d0117a Mark token source of truth in scan output mpabi 2026-04-26 20:08:12 +02:00
  • 840f8badf9 Decompose token endpoints in scan output mpabi 2026-04-26 20:05:18 +02:00
  • 5f0da59aa2 Clarify token scan identity columns mpabi 2026-04-26 20:02:43 +02:00
  • 758e4871fb Clarify token scan pairs repo and store mpabi 2026-04-26 19:55:15 +02:00
  • b926609c6e Format token item table without secrets mpabi 2026-04-26 19:51:03 +02:00
  • 8623e5b1e9 Keep token scan output focused on item rows mpabi 2026-04-26 19:47:53 +02:00
  • d93d28eaa7 Move token item URL to last column mpabi 2026-04-26 19:45:35 +02:00
  • b4e638ef4f Show token repo and store rows per item mpabi 2026-04-26 15:54:09 +02:00
  • f13b09c317 Add tabular rvctl command overview mpabi 2026-04-26 15:26:24 +02:00
  • 2b672d2137 Report token scan results in tables mpabi 2026-04-26 15:23:33 +02:00
  • a84b0e1fbd Use rvctl as sole launcher entrypoint mpabi 2026-04-26 15:19:35 +02:00
  • 33cf8925e1 Default workspace task name mpabi 2026-04-26 15:13:03 +02:00
  • c57c14ee63 Add rvctl entrypoint and docs mpabi 2026-04-26 13:50:30 +02:00
  • 331e87ff90 Move source repos under dev/edu mpabi 2026-04-26 13:02:12 +02:00
  • fbf1fb1daa Separate source repos from workspace clones mpabi 2026-04-26 12:35:09 +02:00
  • 918b192212 Compare repo and store endpoints in token stats mpabi 2026-04-26 10:36:25 +02:00
  • 663242c855 Drop legacy gitea token migration mpabi 2026-04-26 10:33:13 +02:00
  • 72e09bb077 Rename usage doc to workspace doc mpabi 2026-04-26 10:31:40 +02:00
  • eb83d2ee99 Remove markdown metadata headers mpabi 2026-04-26 10:29:08 +02:00