Skip to content

ci: 同期用Dependabot設定でgithub-scriptを更新対象から除外 - #29

Merged
kazeburo merged 1 commit into
mainfrom
codex/ignore-github-script
Oct 8, 2026
Merged

kazeburo merged 1 commit into
mainfrom
codex/ignore-github-script

Conversation

@kazeburo

@kazeburo kazeburo commented Oct 8, 2026 •

Copy link
Copy Markdown
Member

User description

同期先リポジトリで actions/github-script の更新PRを作成しないよう、.github/dependabot-for-sync.yml の ignore に追加します。既存の the-pr-agent/pr-agent と同じ扱いです。

検証: YAMLの構文確認、git diff --check 成功。


PR Type

Configuration changes


Description

  • Exclude actions/github-script from synced Dependabot updates.

File Walkthrough

Relevant files
Configuration changes
dependabot-for-sync.yml
Exclude github-script from synced Dependabot updates         

.github/dependabot-for-sync.yml

  • Add actions/github-script to the GitHub Actions ignore list.
  • Prevent update PRs for this dependency in synced repositories.
+1/-0     

@github-actions

github-actions Bot commented Oct 8, 2026

Copy link
Copy Markdown
Contributor

PR Reviewer Guide 🔍

Here are some key observations to aid the review process:

⏱️ Estimated effort to review: 1 🔵⚪⚪⚪⚪
🧪 No relevant tests
🔒 No security concerns identified
⚡ No major issues detected

@github-actions

github-actions Bot commented Oct 8, 2026

Copy link
Copy Markdown
Contributor

PR Code Suggestions ✨

No code suggestions found for the PR.

@kazeburo
kazeburo merged commit d98c665 into main Oct 8, 2026
3 checks passed
@kazeburo
kazeburo deleted the codex/ignore-github-script branch October 8, 2026 14:32
@github-actions github-actions Bot mentioned this pull request Oct 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant