Skip to content

fix: continue moving all files in move-github-dotgithub - #1839

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
fix-1838-move-github-count-a0338cb2e10cd83a
Open

github-actions[bot] wants to merge 1 commit into
mainfrom
fix-1838-move-github-count-a0338cb2e10cd83a

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Summary

  • fix the file-move counter in scripts/move-github-dotgithub.sh by switching from post-increment to pre-increment
  • prevent set -e from exiting after the first moved file
  • preserve existing behavior while allowing all files under github/ to be moved

Why

Issue #1838 reports that the script exits after moving only one file because ((count++)) evaluates to 0 on the first iteration under set -e.

Testing

  • reproduced the issue scenario in a temporary repo with multiple files under github/
  • confirmed the script now moves all files and exits successfully

Closes #1838


What is this? | From workflow: Trigger Bug Hunter

Give us feedback! React with 🚀 if perfect, 👍 if helpful, 👎 if not.

Use pre-increment for the move counter so set -e does not abort after the first file move.

Closes #1838

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@v1v
v1v marked this pull request as ready for review August 27, 2026 09:12
@github-actions github-actions Bot added the small_boom Small PR blast radius; usually low human-review need label Aug 27, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

small_boom Small PR blast radius; usually low human-review need

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[bug-hunter] move-github-dotgithub exits after moving only first file

1 participant