pagure

#368 If we fail to pull, re-clone
Merged by pingou. Opened by pingou.
handle_force_push  into  master

Download 368.patch
no initial comment

Fixes https://pagure.io/pagure/issue/350

Wouldn't it be better to instead just remove the head on the git level?
That way, we would retain the old commits, even if they end up not being used.

Looks good to me! 凄いです

Thanks for the review!
Metadata
None
No Tags
Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.
Red Hat Logo

Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »

© Red Hat, Inc. and others.