Skip to content

chore (repo): tirar .grok do git - #76

Merged
c1r5 merged 1 commit into
mainfrom
chore/grok-local
Sep 25, 2026
Merged

c1r5 merged 1 commit into
mainfrom
chore/grok-local

Conversation

@c1r5

@c1r5 c1r5 commented Sep 25, 2026

Copy link
Copy Markdown
Owner

Issue

Closes #75

O que este step adiciona

.grok/ sai do git. As regras em .grok/rules/ (development-rules.md, worktrees.md, PRs.md) deixam de ser versionadas e seguem só no disco, cobertas pelo .gitignore. O README não linka mais esse path.

Como testar

  • git ls-files .grok vazio
  • git check-ignore -v .grok/rules/development-rules.md aponta o .gitignore
  • Os três arquivos continuam no working tree depois do git rm --cached

Risco

  • nenhum / n/a
  • repack / assinatura
  • outro:

- #75
- .grok/ inteiro no gitignore
- rules deixam de ser versionadas e continuam no disco
- README sem link pra development-rules.md
@c1r5
c1r5 merged commit 1ffb104 into main Sep 25, 2026
1 check passed
@c1r5
c1r5 deleted the chore/grok-local branch September 25, 2026 03:03
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.

chore: tirar .grok do repositório

1 participant