Fix height for sticky head on large screen on PR page (#23111)#23124

Merged

zeripath merged 2 commits intogo-gitea:release/v1.18from yardenshoham:backport-23111-v1.18

Feb 24, 2023

+1-9

Commits on Feb 24, 2023

Fix height for sticky head on large screen on PR page (go-gitea#23111 )

HesterG
authored and
yardenshoham
committed
placate linter
zeripath
committed