-
Notifications
You must be signed in to change notification settings - Fork 0
Chore: [AEA-0000] - use actions for sync copilot #122
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
This file was deleted.
| Original file line number | Diff line number | Diff line change | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| @@ -1,78 +1,22 @@ | ||||||||||||||||||
| name: Sync copilot instructions | ||||||||||||||||||
| name: Sync Copilot Instructions | ||||||||||||||||||
|
|
||||||||||||||||||
| on: | ||||||||||||||||||
|
||||||||||||||||||
| on: | |
| on: | |
| workflow_call: | |
| secrets: | |
| CREATE_PULL_REQUEST_APP_ID: | |
| required: true | |
| CREATE_PULL_REQUEST_PEM: | |
| required: true |
| Original file line number | Diff line number | Diff line change | ||||
|---|---|---|---|---|---|---|
| @@ -1,148 +1,23 @@ | ||||||
| name: Update Dev Container Image version | ||||||
| name: Update devcontainer version | ||||||
|
|
||||||
|
Comment on lines
+1
to
+2
|
||||||
| on: | ||||||
| workflow_call: | ||||||
| inputs: | ||||||
| base_branch: | ||||||
| required: false | ||||||
| type: string | ||||||
| default: main | ||||||
| secrets: | ||||||
| CREATE_PULL_REQUEST_APP_ID: | ||||||
| required: true | ||||||
| CREATE_PULL_REQUEST_PEM: | ||||||
| required: true | ||||||
| workflow_dispatch: | ||||||
| schedule: | ||||||
| - cron: "0 6 * * 4" | ||||||
|
||||||
| - cron: "0 6 * * 4" | |
| - cron: "0 18 * * 4" |
Copilot
AI
Apr 1, 2026
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This workflow is documented as a reusable workflow (README section “Update Dev Container Version” shows other repos calling it via uses:). Replacing workflow_call with only workflow_dispatch/schedule breaks that contract for consumers and contradicts the project guidance that workflows designed to be called from other repos should use workflow_call (see .github/instructions/project/instructions.md). Consider restoring workflow_call (and its inputs/secrets), and keep workflow_dispatch/schedule in addition if required.
| Original file line number | Diff line number | Diff line change | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
@@ -17,6 +17,26 @@ repos: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| files: ^(.github) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| - repo: local | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| hooks: | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| - id: check-commit-signing | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| name: Check commit signing | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| description: Ensures that commits are GPG signed | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| entry: bash | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| args: | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| - -c | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| - | | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| if ! git config --get commit.gpgsign | grep -q "true" > /dev/null 2>&1; then | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| echo "Error: Commit signing is not enabled." | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| echo "Please enable commit signing with:" | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| echo " git config commit.gpgsign true" | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| echo "" | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| echo "For more information, see: https://docs.github.com/en/authentication/managing-commit-signature-verification/signing-commits" | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| exit 1 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| fi | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| echo "Commit signing is properly configured." | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Comment on lines
+21
to
+35
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| name: Check commit signing | |
| description: Ensures that commits are GPG signed | |
| entry: bash | |
| args: | |
| - -c | |
| - | | |
| if ! git config --get commit.gpgsign | grep -q "true" > /dev/null 2>&1; then | |
| echo "Error: Commit signing is not enabled." | |
| echo "Please enable commit signing with:" | |
| echo " git config commit.gpgsign true" | |
| echo "" | |
| echo "For more information, see: https://docs.github.com/en/authentication/managing-commit-signature-verification/signing-commits" | |
| exit 1 | |
| fi | |
| echo "Commit signing is properly configured." | |
| name: Check commit.gpgsign is enabled | |
| description: Checks that Git is configured to attempt GPG signing (commit.gpgsign=true) | |
| entry: bash | |
| args: | |
| - -c | |
| - | | |
| if ! git config --get commit.gpgsign | grep -q "true" > /dev/null 2>&1; then | |
| echo "Error: Commit signing is not configured via commit.gpgsign=true." | |
| echo "Please enable commit signing with:" | |
| echo " git config commit.gpgsign true" | |
| echo "" | |
| echo "For more information, see: https://docs.github.com/en/authentication/managing-commit-signature-verification/signing-commits" | |
| exit 1 | |
| fi | |
| echo "Commit signing is enabled via commit.gpgsign=true." |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Removing the
postAttachCommandappears to drop the only repo-local setup that registers git-secrets patterns/providers (no other occurrences ofgit-secrets --register-aws/--add-providerremain in the repo). With the current pre-commit hook callinggit-secrets --pre_commit_hook, this may cause secret scanning to become ineffective for new clones/devcontainers. If the devcontainer image no longer sets this up globally, consider restoring this setup or moving it into a dedicated bootstrap script that’s invoked frompostAttachCommand.