Skip to content

Sort repo topic labels by name #24123

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

Merged
merged 2 commits into from
Apr 14, 2023

Conversation

wxiaoguang
Copy link
Contributor

Close #24077

image

@GiteaBot GiteaBot added the lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. label Apr 14, 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 Apr 14, 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 Apr 14, 2023
@lunny lunny added the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Apr 14, 2023
@lunny lunny added this to the 1.20.0 milestone Apr 14, 2023
@delvh delvh added type/enhancement An improvement of existing functionality and removed type/bug labels Apr 14, 2023
@techknowlogick techknowlogick enabled auto-merge (squash) April 14, 2023 15:06
@techknowlogick
Copy link
Member

🤖 🎺

@techknowlogick techknowlogick merged commit 2902d1e into go-gitea:main Apr 14, 2023
@GiteaBot GiteaBot removed the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Apr 14, 2023
@GiteaBot
Copy link
Collaborator

I was unable to create a backport for 1.19. @wxiaoguang, please send one manually. 🍵

@GiteaBot GiteaBot added the backport/manual No power to the bots! Create your backport yourself! label Apr 14, 2023
@wxiaoguang wxiaoguang deleted the fix-repo-topic-order branch April 15, 2023 01:47
wxiaoguang added a commit to wxiaoguang/gitea that referenced this pull request Apr 16, 2023
Close go-gitea#24077

# Conflicts:
#	web_src/js/features/repo-home.js
@delvh delvh added backport/done All backports for this PR have been created and removed backport/manual No power to the bots! Create your backport yourself! labels Apr 16, 2023
lunny pushed a commit that referenced this pull request Apr 17, 2023
@go-gitea go-gitea locked as resolved and limited conversation to collaborators Jul 31, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
backport/done All backports for this PR have been created lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. outdated/backport/v1.19 This PR should be backported to Gitea 1.19 type/enhancement An improvement of existing functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Make the repo tags stay consistent between page reloads
6 participants