Based on discussion in Forgejo #2834.
Getting Started: Add detail to use of git push --mirror #422
Just disabling the "Pull requests" unit before using git push --mirror does not seem to do the trick with me. I still get messages along the lines of:
remote: Forgejo: The deletion of refs/pull/88/head is skipped as it's an internal reference.
remote: error: hook declined to update refs/pull/88/head
Is there a missing this step that should also be documented maybe?
CC: @n0toose
Hi, I am not sure what to do here.
Just disabling the "Pull requests" unit before using git push --mirror does not seem to do the trick with me. I still get messages along the lines of:
So, disabling the Pull Requests unit causes the --mirror option to freak out? Sounds like a Forgejo bug.
Or, well, not sure if it's a bug, but something that Forgejo should probably fix.
Are there any recommendations for improving the documentation of this section?
I actually don't have any recommendations and think that this should be fine, but I'm concerned with @foxy's statement mentioning that this does not work for them for some reason.
So, right now the only reason that the merge is being stalled is because I am not sure whether git push --mirror works and not because of the merits of your change, and I have to admit that I am slightly "frozen" in the sense that I am not sure how to proceed here.
I could see if I can reproduce this consistently on an arbitrary test mirror and if so, open an issue and link it here. If I am unable to reproduce this elsewhere, you could ignore my problem and get this merged anyway? Just give me one to two days to find the free time to work on this, please. Does that sound alright?
Here are the steps I am following to get the error above while still disabling the Pull Requests unit and using the --mirror flag: Codeberg/Community#1569. If I am doing something wrong in the mirroring process, perhaps the right steps to follow could be specified in the docs.
Maybe this PR can be merged and a documentation feature Issue can be created pending results from ongoing experimentation?
git push --mirror (削除ここまで)git push --mirror Apologies for the delay.
Issues affecting Codeberg Pages
Issues related to using and reading docs.codeberg.org
This is related to the generation of the documentation, not to the content itself
The priority is high
The priority is low
The priority is medium
Something has been confirmed
Something exists already
Something was marked as invalid
Something won't be fixed
Contributions are welcome!
Work is in progress
Feedback is needed
Work is completed
Review is in progress / Reviewers wanted
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?