From 7c0b857a2f9162d1e9cb969eb6a93f130680c558 Mon Sep 17 00:00:00 2001 From: lyn Date: Mon, 13 Apr 2026 13:38:56 +0000 Subject: [PATCH] Add list-projs to git-ctrl routing and SKILL.md --- git-hangman-lab/SKILL.md | 2 +- git-hangman-lab/scripts/git-ctrl | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/git-hangman-lab/SKILL.md b/git-hangman-lab/SKILL.md index d7f39c3..f3d1448 100644 --- a/git-hangman-lab/SKILL.md +++ b/git-hangman-lab/SKILL.md @@ -48,7 +48,7 @@ Create a new git repository on git.hangman-lab.top. List all repositories visible to the current user on git.hangman-lab.top in markdown table format. ```bash -{baseDir}/scripts/list-projs +{baseDir}/scripts/git-ctrl list-projs ``` ### Pull Request Operations diff --git a/git-hangman-lab/scripts/git-ctrl b/git-hangman-lab/scripts/git-ctrl index 966d4bc..dcdcbe3 100755 --- a/git-hangman-lab/scripts/git-ctrl +++ b/git-hangman-lab/scripts/git-ctrl @@ -17,7 +17,8 @@ if [[ $# -eq 0 ]]; then echo " repo-add-collaborators Add collaborator to repository" echo " repo-config Configure repository" echo " external-login-ctrl Enable/disable local login" - echo " reset-password Reset user password" + echo " list-projs List all visible repositories + reset-password Reset user password" exit 1 fi @@ -55,6 +56,9 @@ case "$subcommand" in "$SCRIPT_DIR/external-login-ctrl" "$@" ;; + list-projs) + "$SCRIPT_DIR/list-projs" "$@" + ;; reset-password) "$SCRIPT_DIR/reset-password" "$@" ;;