Skip to content

Conversation

@lafriks
Copy link
Member

@lafriks lafriks commented Feb 15, 2019

I will re-tag after this is merged

@lafriks lafriks added the type/docs This PR mainly updates/creates documentation label Feb 15, 2019
@lafriks lafriks added this to the 1.7.2 milestone Feb 15, 2019
@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Feb 15, 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 Feb 15, 2019
@lafriks lafriks merged commit 3b612ce into go-gitea:release/v1.7 Feb 15, 2019
@lafriks lafriks deleted the 1_7_2_changelog branch February 15, 2019 08:19
lafriks pushed a commit that referenced this pull request Feb 15, 2019
* Include changes also from PR #6084
@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. type/docs This PR mainly updates/creates documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants