Skip to content

chore: fix dist/ gitignore for develop branch#7

Merged
zhcsyncer merged 1 commit intomainfrom
develop
Nov 27, 2025
Merged

chore: fix dist/ gitignore for develop branch#7
zhcsyncer merged 1 commit intomainfrom
develop

Conversation

@zhcsyncer
Copy link
Copy Markdown
Owner

Summary

修复 develop 分支 dist/ 跟踪问题:

  • .gitignore 中添加 dist/,防止开发者误提交
  • 修改 CI workflow 使用 git add -f dist/ 强制添加,绕过 .gitignore
  • 从 develop 分支移除 dist/ 跟踪

原理

  • .gitignore 只影响未跟踪的文件
  • git add -f 可以强制添加被忽略的文件
  • PR 合并后 main 的 .gitignore 也会包含 dist/,但 CI 用 -f 绕过

Test plan

  • develop 分支 dist/ 不被跟踪
  • CI workflow 成功执行并提交 dist/

🤖 Generated with Claude Code

- Add dist/ to .gitignore to prevent accidental commits in develop
- Use git add -f in CI workflow to force add dist/ despite .gitignore

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
@zhcsyncer zhcsyncer merged commit 948a76f into main Nov 27, 2025
@zhcsyncer zhcsyncer deleted the develop branch December 24, 2025 04:00
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