Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Fix Pull Mirror out-of-sync bugs (#24732) #24733

Merged
merged 1 commit into from
May 15, 2023
Merged

Fix Pull Mirror out-of-sync bugs (#24732) #24733

merged 1 commit into from
May 15, 2023

Conversation

wxiaoguang
Copy link
Contributor

Backport #24732

Bug-fix only

@GiteaBot GiteaBot added this to the 1.19.4 milestone May 15, 2023
@GiteaBot GiteaBot added the lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. label May 15, 2023
@pull-request-size pull-request-size bot added the size/XS Denotes a PR that changes 0-9 lines, ignoring generated files. label May 15, 2023
@wxiaoguang wxiaoguang changed the title Fix Pull Mirror and fix out-of-sync bugs (#24732) Fix Pull Mirror out-of-sync bugs (#24732) May 15, 2023
@GiteaBot GiteaBot added lgtm/need 1 This PR needs approval from one additional maintainer to be merged. and removed lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. labels May 15, 2023
@GiteaBot GiteaBot added lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. and removed lgtm/need 1 This PR needs approval from one additional maintainer to be merged. labels May 15, 2023
@silverwind silverwind merged commit 6ecd2e7 into go-gitea:release/v1.19 May 15, 2023
@wxiaoguang wxiaoguang deleted the fix-pull-mirror branch May 15, 2023 18:58
Codeberg-org pushed a commit to Codeberg-org/gitea that referenced this pull request Jun 3, 2023
@wxiaoguang @earl-warren
Fix Pull Mirror out-of-sync bugs (go-gitea#24732) (go-gitea#24733)
f37fba5 
Backport go-gitea#24732

Bug-fix only

(cherry picked from commit 6ecd2e7)
@go-gitea go-gitea locked as resolved and limited conversation to collaborators Aug 13, 2023
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Reviewers

@lunny lunny lunny approved these changes

@silverwind silverwind silverwind approved these changes

Assignees
No one assigned
Labels
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. size/XS Denotes a PR that changes 0-9 lines, ignoring generated files. type/bug
Projects
None yet
Milestone
1.19.4
Development

Successfully merging this pull request may close these issues.
4 participants
@wxiaoguang @lunny @silverwind @GiteaBot