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

Fix push mirror #748

Merged
merged 2 commits into from
Jan 29, 2025
Merged

Fix push mirror #748

merged 2 commits into from
Jan 29, 2025

Conversation

ppcad
Copy link
Collaborator

@ppcad ppcad commented Jan 29, 2025

No description provided.

@ppcad ppcad self-assigned this Jan 29, 2025
@ppcad ppcad changed the title Change push mirror to test it Fix push mirror Jan 29, 2025
@ppcad ppcad requested a review from ekneg54 January 29, 2025 12:32
@ppcad
Copy link
Collaborator Author

ppcad commented Jan 29, 2025

I'm not sure why some pipelines fail. I did only change the workflow for the push mirror.

@ppcad ppcad marked this pull request as ready for review January 29, 2025 12:33
Copy link
Collaborator

@ekneg54 ekneg54 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thank you for fixing this

@@ -14,7 +14,7 @@ jobs:
fetch-depth: 0

- name: mirror-repository
uses: ppcad/mirror-action@v0.4.4
uses: ppcad/mirror-action@v0.4.5
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

the magic new version 👍

@ekneg54
Copy link
Collaborator

ekneg54 commented Jan 29, 2025

btw. I have no clue, why black is complaining

@ppcad ppcad merged commit 3292d87 into main Jan 29, 2025
12 of 13 checks passed
@ekneg54 ekneg54 deleted the fix-push-mirror branch January 29, 2025 12:47
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