Skip to content

fix: update mirror action#8728

Merged
seshubaws merged 1 commit intodevelopfrom
fix/mirror-repo
Mar 4, 2026
Merged

fix: update mirror action#8728
seshubaws merged 1 commit intodevelopfrom
fix/mirror-repo

Conversation

@seshubaws
Copy link
Copy Markdown
Contributor

Which issue(s) does this change fix?

Why is this change necessary?

update mirror action to use secret in mirror repo instead of git token, since git tokens do not have enough permissions to sync all files, such as workflow files

How does it address the issue?

What side effects does this change have?

Mandatory Checklist

PRs will only be reviewed after checklist is complete

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

@seshubaws seshubaws requested a review from a team as a code owner March 3, 2026 23:06
@seshubaws seshubaws enabled auto-merge March 4, 2026 00:52
run: |
git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git
git config user.name "aws-sam-cli-bot"
git config user.email "aws-sam-cli-gh-bot@amazon.com"
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Is this a real email? (does it have to be a real e-mail?)

Copy link
Copy Markdown
Contributor Author

@seshubaws seshubaws Mar 4, 2026

Choose a reason for hiding this comment

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

it doesn't have to be a real email, it's just the one that gets written in the commit history. This is the bot's real email though, should we not have this?

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

I guess I'm not sure. I was mostly curious, but it's okay.

@seshubaws seshubaws added this pull request to the merge queue Mar 4, 2026
Merged via the queue into develop with commit 78977b9 Mar 4, 2026
46 checks passed
@seshubaws seshubaws deleted the fix/mirror-repo branch March 4, 2026 18:34
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.

3 participants