Skip to content

Conversation

@6543
Copy link
Member

@6543 6543 commented Oct 20, 2020

the hotfix day

Backport of #13224

@6543 6543 added type/testing skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. labels Oct 20, 2020
@6543 6543 added this to the 1.13.0 milestone Oct 20, 2020
@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Oct 20, 2020
@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 Oct 20, 2020
@6543
Copy link
Member Author

6543 commented Oct 20, 2020

🚀

@jolheiser jolheiser merged commit ba97c0e into go-gitea:release/v1.13 Oct 20, 2020
@6543 6543 deleted the hotfix_v113 branch October 20, 2020 22:40
@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. skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. type/testing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants