Skip to content

chore(sync): synced file(s) with dgibbs64/repo-sync#4919

Open
dgibbs64 wants to merge 2 commits intomasterfrom
repo-sync/master
Open

chore(sync): synced file(s) with dgibbs64/repo-sync#4919
dgibbs64 wants to merge 2 commits intomasterfrom
repo-sync/master

Conversation

@dgibbs64
Copy link
Copy Markdown
Member

@dgibbs64 dgibbs64 commented May 4, 2026

synced local file(s) with dgibbs64/repo-sync.

This PR was automatically created by repo-file-sync-action and synced from dgibbs64/repo-sync.

Triggering commit: 9e97fec914d1e7304147bf8f9798bc9b3a682510
Commit message: fix: correct shell glob in editorconfig templates
Author: Daniel Gibbs

Please review each changed file before merging to ensure the changes are expected.

Changed files
  • synced local directory .github/ with remote directory general/.github/
  • synced local directory ./ with remote directory bash/

This PR was created automatically by the repo-file-sync-action workflow run #25319226488

dgibbs64 added 2 commits May 4, 2026 12:39
Synced from dgibbs64/repo-sync@9e97fec — fix: correct shell glob in editorconfig templates
Synced from dgibbs64/repo-sync@9e97fec — fix: correct shell glob in editorconfig templates
@dgibbs64 dgibbs64 added the sync label May 4, 2026
@dgibbs64 dgibbs64 self-assigned this May 4, 2026
@github-actions github-actions Bot added the type: chore Maintenance or housekeeping pull request label May 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

sync type: chore Maintenance or housekeeping pull request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant