Skip to content
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

Highlight selected file in the PR file tree (#23947) #24126

Merged

Conversation

sillyguodong
Copy link
Contributor

backport #23947 by @yusifeng

before

before

after

after

@sillyguodong sillyguodong added type/enhancement An improvement of existing functionality topic/ui Change the appearance of the Gitea UI labels Apr 14, 2023
@wxiaoguang
Copy link
Contributor

If we want to backport this feature, I guess it's better to backport these 2 together:

@GiteaBot GiteaBot added the lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. label Apr 14, 2023
@sillyguodong
Copy link
Contributor Author

If we want to backport this feature, I guess it's better to backport these 2 together:

Ok, after this PR is merged, backport these 2?

@wxiaoguang
Copy link
Contributor

What about taking them together in this PR to save time?

@lunny lunny added this to the 1.19.2 milestone 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 merged commit 10f9399 into go-gitea:release/v1.19 Apr 14, 2023
2 checks passed
@sillyguodong sillyguodong deleted the backport/pr_23947_backport_to_1.19 branch July 11, 2023 08:21
@GiteaBot
Copy link
Contributor

We lock pull requests 3 months after they were closed. If there's any need for further discussion, please open a new issue. 🍵

@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
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. topic/ui Change the appearance of the Gitea UI type/enhancement An improvement of existing functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

6 participants