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.

Sign up for GitHub

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

Jump to bottom

Fix diff tree height and adjust target file style #23616

Merged
merged 3 commits into from
Mar 22, 2023
Merged

Fix diff tree height and adjust target file style #23616

merged 3 commits into from
Mar 22, 2023

Conversation

silverwind
Copy link
Member

@silverwind silverwind commented Mar 21, 2023 •
edited
Loading

Extract from #23553, just the parts that fix the diff tree height and the change to the file :target style.

Fixes: #23593

@silverwind silverwind added type/bug topic/ui Change the appearance of the Gitea UI labels Mar 21, 2023
@silverwind silverwind added this to the 1.19.1 milestone Mar 21, 2023
@silverwind silverwind mentioned this pull request Mar 21, 2023
Merged
@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Mar 21, 2023
@delvh delvh added the outdated/backport/v1.19 This PR should be backported to Gitea 1.19 label Mar 21, 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 Mar 22, 2023
@delvh delvh added the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Mar 22, 2023
@jolheiser jolheiser mentioned this pull request Mar 22, 2023
Closed
@jolheiser
Copy link
Member

🎺 🤖

@jolheiser jolheiser merged commit 622d216 into go-gitea:release/v1.19 Mar 22, 2023
@jolheiser jolheiser removed reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. outdated/backport/v1.19 This PR should be backported to Gitea 1.19 labels Mar 22, 2023
@silverwind silverwind deleted the backport-23553 branch March 22, 2023 22:06
This was referenced Mar 23, 2023
Closed
Closed
@delvh delvh mentioned this pull request Mar 23, 2023
Closed
@wxiaoguang wxiaoguang mentioned this pull request Apr 2, 2023
Closed
@go-gitea go-gitea locked and limited conversation to collaborators May 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@delvh delvh delvh approved these changes

@HesterG HesterG HesterG approved these changes

@lafriks lafriks lafriks 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. topic/ui Change the appearance of the Gitea UI type/bug
Projects
None yet
Milestone
1.19.1
Development

Successfully merging this pull request may close these issues.
7 participants
@silverwind @jolheiser @lafriks @HesterG @delvh @GiteaBot @lunny