Skip to content

Conversation

@6543
Copy link
Member

@6543 6543 commented Oct 7, 2021

It just annoyed me to much, so I had to create a patch

It just annoyed me to much, so I had to create a patch
@6543 6543 added type/docs This PR mainly updates/creates documentation skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. labels Oct 7, 2021
@6543 6543 added this to the 1.15.4 milestone Oct 7, 2021
@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Oct 7, 2021
@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 7, 2021
@techknowlogick techknowlogick merged commit dc030f6 into release/v1.15 Oct 7, 2021
@6543 6543 deleted the 6543-patch-rm-dead-link-v15 branch October 7, 2021 20:01
@go-gitea go-gitea locked and limited conversation to collaborators Apr 28, 2022
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/docs This PR mainly updates/creates documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants