Skip to content

Conversation

jolheiser
Copy link
Member

As title, we still pull the docs for 1.19.

@jolheiser jolheiser added the type/docs This PR mainly updates/creates documentation label Jul 20, 2023
@jolheiser jolheiser added this to the 1.19.5 milestone Jul 20, 2023
@GiteaBot GiteaBot added the lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. label Jul 20, 2023
@GiteaBot GiteaBot added lgtm/need 1 This PR needs approval from one additional maintainer to be merged. and removed lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. labels Jul 20, 2023
@jolheiser
Copy link
Member Author

Even if CI fails I think we can just merge this and cancel builds.
It's a minor thing, but cleanup may as well happen while we support these docs. 🙂

@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 Jul 20, 2023
@lunny lunny merged commit c4798b0 into go-gitea:release/v1.19 Jul 20, 2023
@go-gitea go-gitea locked as resolved and limited conversation to collaborators Oct 18, 2023
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