Skip to content

chore: убрать старое имя deep-research - #11

Merged
Socialpranker merged 1 commit into
mainfrom
chore/rename-deep-research
Sep 6, 2026
Merged

Socialpranker merged 1 commit into
mainfrom
chore/rename-deep-research

Conversation

@Socialpranker

Copy link
Copy Markdown
Owner

Скилл называется deepdive: команда, папка по умолчанию, UA-строки, ссылки на репо и триггеры приведены к одному имени. Названия чужих продуктов не тронуты. Проверено: stamp_docs --check, context_budget --ci, ruff, целевые тесты.

Команда /deepdive вместо /deep-research, папка по умолчанию ~/deepdive/,
User-Agent'ы и ссылки на репо deepdive-*, триггер «deep research» снят.
Внешние продукты (ChatGPT/Gemini Deep Research, open_deep_research) оставлены.
@Socialpranker
Socialpranker merged commit b9785df into main Sep 6, 2026
2 checks passed
@Socialpranker
Socialpranker deleted the chore/rename-deep-research branch September 6, 2026 04:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant