ahmido
76334cb096
## Summary Selective migration to the managed Spec Kit project structure. ## Included - add managed Spec Kit integration metadata under `.specify/` - add bundled `speckit` workflow registry - add bundled `git` extension, scripts, and config - add new `speckit.git.*` command surfaces for Copilot, Gemini, and `.agents` - add the Spec Kit plan marker block to `.github/copilot-instructions.md` ## Intentionally excluded - no replacement of the existing customized core `speckit.*.agent.md` files - no `.vscode/settings.json` commit; the copied manifest was adjusted accordingly - no changes to the active `specs/231-finding-outcome-taxonomy` work ## Validation - `specify integration list` - `specify workflow list` - `specify extension list` - focused managed-file diff review Co-authored-by: Ahmed Darrazi <ahmed.darrazi@live.de> Reviewed-on: #266
47 lines
1.4 KiB
TOML
47 lines
1.4 KiB
TOML
description = "Detect Git remote URL for GitHub integration"
|
|
|
|
# Source: git
|
|
|
|
prompt = """
|
|
# Detect Git Remote URL
|
|
|
|
Detect the Git remote URL for integration with GitHub services (e.g., issue creation).
|
|
|
|
## Prerequisites
|
|
|
|
- Check if Git is available by running `git rev-parse --is-inside-work-tree 2>/dev/null`
|
|
- If Git is not available, output a warning and return empty:
|
|
```
|
|
[specify] Warning: Git repository not detected; cannot determine remote URL
|
|
```
|
|
|
|
## Execution
|
|
|
|
Run the following command to get the remote URL:
|
|
|
|
```bash
|
|
git config --get remote.origin.url
|
|
```
|
|
|
|
## Output
|
|
|
|
Parse the remote URL and determine:
|
|
|
|
1. **Repository owner**: Extract from the URL (e.g., `github` from `https://github.com/github/spec-kit.git`)
|
|
2. **Repository name**: Extract from the URL (e.g., `spec-kit` from `https://github.com/github/spec-kit.git`)
|
|
3. **Is GitHub**: Whether the remote points to a GitHub repository
|
|
|
|
Supported URL formats:
|
|
- HTTPS: `https://github.com/<owner>/<repo>.git`
|
|
- SSH: `git@github.com:<owner>/<repo>.git`
|
|
|
|
> [!CAUTION]
|
|
> ONLY report a GitHub repository if the remote URL actually points to github.com.
|
|
> Do NOT assume the remote is GitHub if the URL format doesn't match.
|
|
|
|
## Graceful Degradation
|
|
|
|
If Git is not installed, the directory is not a Git repository, or no remote is configured:
|
|
- Return an empty result
|
|
- Do NOT error — other workflows should continue without Git remote information
|
|
""" |