merge: develop → main#15

Merged

JheisonMB merged 26 commits into

mainfrom

Jul 10, 2026

Commits on Apr 10, 2026

chore: migrate actions to central repo
JheisonMB
committed

Commits on Jun 11, 2026

Commits on Jun 12, 2026

Commits on Jun 14, 2026

chore: move demo recording scripts to the workspace scripts folder
JheisonMB
committed

Commits on Jun 25, 2026

docs: add gitkit demo recording
JheisonMB
committed

Commits on Jun 28, 2026

refactor: flatten nesting in get_installed_hooks, get_all_git_configs, apply_config_keys
JheisonMB
committed

Commits on Jul 1, 2026

Commits on Jul 3, 2026

chore(demo): update demo artifacts with new recording
JheisonMB
committed

Commits on Jul 9, 2026

chore: add *.mp4 and .mimocode/ to gitignore
JheisonMB
committed

Commits on Jul 10, 2026