Skip to content

Conversation

@proailurus
Copy link
Contributor

small semantics fix
"Hi there, user!" looks better than "Hi there: user!"

small semantics fix
"Hi there, user!" looks better than "Hi there: user!"
@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Aug 11, 2019
@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 Aug 11, 2019
@lafriks lafriks added the topic/ui Change the appearance of the Gitea UI label Aug 11, 2019
@lunny lunny merged commit 8101d80 into go-gitea:master Aug 11, 2019
@go-gitea go-gitea locked and limited conversation to collaborators Nov 24, 2020
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants