Skip to content

chore(migration): allow git tags to be force created when running the migration script - #11219

Merged
parthea merged 3 commits into
mainfrom
force-push-tags-migration
Jun 2, 2023
Merged

parthea merged 3 commits into
mainfrom
force-push-tags-migration

Conversation

@parthea

@parthea parthea commented Jun 2, 2023 •

Copy link
Copy Markdown
Contributor

This PR modifies scripts/split_repo_migration/single-library.post-process.common-files.sh to allow git tags to be force created so that the script can be run more than once, in case of failure.

Another alternative is to move the git tag command outside of the scripts/split_repo_migration/single-library.post-process.common-files.sh script so that the script can be run more than once if required.

@parthea
parthea requested a review from a team June 2, 2023 13:09
@parthea parthea changed the title chore(migration): allow git tags to be force pushed when running the migration chore(migration): allow git tags to be force created when running the migration script Jun 2, 2023

@vchudnov-g vchudnov-g left a comment

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.

OK, good idea. What I did yesterday was manually remove the tags, but this is better.

@parthea
parthea enabled auto-merge (squash) June 2, 2023 18:45
@parthea
parthea merged commit 603135a into main Jun 2, 2023
@parthea
parthea deleted the force-push-tags-migration branch June 2, 2023 18:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants