-
Notifications
You must be signed in to change notification settings - Fork 185
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
Always mirror full repository #1195
base: main
Are you sure you want to change the base?
Conversation
@VuiMuich I would suggest pushing this to a branch again to ensure it's working. |
Probably won't have time before Thursday. |
@VuiMuich reminder this exists. 🙂 |
@Eskaan For testing purposes, we can just draw this commit into a temporary testing branch and then create a PR against that branch to confirm it's working properly, correct? Any other tests required? |
Yes, that is what I've been waiting for. If you put this in it's own testing branch, it will get access to this repositories secrets and can do a live-test without being on the main branch. |
Looks like it's working, with above diff, aside from Codeberg refusing to delete two refs: https://github.com/leftwm/leftwm/actions/runs/9332863742/job/25689227696 |
Honestly, I am unsure why Codeberg marked those (and only those) as internal references, as there were never any pull requests made on that repository. |
Description
I noticed that the mirror workflow can't run on pull requests due to unavailability of secrets, so I changed it to run whenever we push a branch in the repo and always clone the entire repository using
--mirror
(/refs/*
, includes all pull requests, branches and tags).Type of change
/refs/pulls/.../head
instead of/refs/heads/pull/...
Checklist: