Skip to content

chore: 上流のマージ時に削除済みファイルを維持するように修正#379

Draft
3w36zj6 wants to merge 1 commit intomainfrom
feature/auto-resolve-deleted-conflicts
Draft

chore: 上流のマージ時に削除済みファイルを維持するように修正#379
3w36zj6 wants to merge 1 commit intomainfrom
feature/auto-resolve-deleted-conflicts

Conversation

@3w36zj6
Copy link
Member

@3w36zj6 3w36zj6 commented Mar 12, 2026

No description provided.

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

上流(typst/typst)を取り込むための merge-upstream ワークフローで、マージ時に「こちらで削除したファイル(deleted by us)」が上流側の変更で復活してしまうケースを防ぐための調整です。

Changes:

  • マージ後の未解決状態 DU(deleted by us)になっているファイルを検出し、git rm で削除として解決する処理を追加

git reset HEAD .github/

# Keep "deleted by us" files deleted
git status --porcelain | grep '^DU' | cut -c 4- | xargs -r git rm
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.

2 participants