Skip to content
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

[5.10] validate local repository has the correct remote #7147

Merged
merged 1 commit into from Dec 1, 2023

Conversation

tomerd
Copy link
Member

@tomerd tomerd commented Nov 30, 2023

5.10 cherry-pick of #7079

motivation: in some edge cases, the local repository may be partially
valid (the containing directory is a legit git repo, but the repository
directory is not), or otherwise point to a remote different than the one
expected

changes:
* validate that the local repository remote aligns with the expected
one, not just that the directory is a valid git repo
* refactor validation flow to be more streamlined
@tomerd tomerd added the swift 5.10 This PR targets the 5.10 branch label Nov 30, 2023
@tomerd
Copy link
Member Author

tomerd commented Nov 30, 2023

@swift-ci test

@tomerd tomerd enabled auto-merge (squash) November 30, 2023 18:38
@tomerd tomerd disabled auto-merge November 30, 2023 18:38
@tomerd tomerd enabled auto-merge (squash) November 30, 2023 18:38
@tomerd tomerd disabled auto-merge November 30, 2023 18:38
@tomerd tomerd enabled auto-merge (rebase) November 30, 2023 18:39
@tomerd
Copy link
Member Author

tomerd commented Dec 1, 2023

@compnerd windows failure seem unrelated. are yo aware?

@tomerd
Copy link
Member Author

tomerd commented Dec 1, 2023

@swift-ci test windows

@compnerd
Copy link
Collaborator

compnerd commented Dec 1, 2023

@tomerd the link is gone, do you have the logs?

@MaxDesiatov
Copy link
Member

@swift-ci test windows

@tomerd tomerd merged commit 7643b60 into apple:release/5.10 Dec 1, 2023
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
swift 5.10 This PR targets the 5.10 branch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants