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

show the Git config and the worktree in the sync CI #87

Merged
merged 1 commit into from
Nov 17, 2023

Conversation

amtoine
Copy link
Owner

@amtoine amtoine commented Nov 17, 2023

this PR shows the Git config and the Git worktree of the repo in the CI.

this should help debug why the sync is not happening...

@amtoine amtoine added the ci Something related to the Continuous Integration label Nov 17, 2023
@amtoine amtoine force-pushed the add-debug-to-sync-ci branch from 8497a5e to 87f0da9 Compare November 17, 2023 14:48
@amtoine amtoine merged commit a127fe7 into main Nov 17, 2023
8 checks passed
@amtoine amtoine deleted the add-debug-to-sync-ci branch November 17, 2023 14:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci Something related to the Continuous Integration
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant