Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Docusaurus-ify 1.19 #26053

Merged
merged 8 commits into from Jul 26, 2023
Merged

Docusaurus-ify 1.19 #26053

merged 8 commits into from Jul 26, 2023

Conversation

jolheiser
Copy link
Member

See #26051

Signed-off-by: jolheiser <john.olheiser@gmail.com>
Signed-off-by: jolheiser <john.olheiser@gmail.com>
@jolheiser jolheiser added the type/docs This PR mainly updates/creates documentation label Jul 22, 2023
@GiteaBot GiteaBot added the lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. label Jul 22, 2023
@GiteaBot GiteaBot added this to the 1.19.5 milestone Jul 22, 2023
@pull-request-size pull-request-size bot added the size/XXL Denotes a PR that changes 1000+ lines, ignoring generated files. label Jul 22, 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 22, 2023
@delvh delvh added the type/refactoring Existing code has been cleaned up. There should be no new functionality. label Jul 22, 2023
Signed-off-by: jolheiser <john.olheiser@gmail.com>
Signed-off-by: jolheiser <john.olheiser@gmail.com>
@jolheiser jolheiser marked this pull request as ready for review July 22, 2023 14:32
Signed-off-by: jolheiser <john.olheiser@gmail.com>
@jolheiser
Copy link
Member Author

I'm not sure why the docs CI is failing here, as make docs should just run the translation copy script.

Signed-off-by: jolheiser <john.olheiser@gmail.com>
@delvh
Copy link
Member

delvh commented Jul 22, 2023

As far as I know, our CI is completely broken on 1.19 for the last commits already.

@techknowlogick
Copy link
Member

tbh we could probably ignore CI failures on the 1.19 branch now that it is eol, and just use 🧙 powers to merge it in.

@jolheiser jolheiser mentioned this pull request Jul 24, 2023
Signed-off-by: jolheiser <john.olheiser@gmail.com>
@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 25, 2023
@lunny lunny added the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Jul 25, 2023
@lunny lunny merged commit 8c771c8 into go-gitea:release/v1.19 Jul 26, 2023
1 of 2 checks passed
@GiteaBot GiteaBot removed the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Jul 26, 2023
@go-gitea go-gitea locked as resolved and limited conversation to collaborators Oct 24, 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. size/XXL Denotes a PR that changes 1000+ lines, ignoring generated files. type/docs This PR mainly updates/creates documentation type/refactoring Existing code has been cleaned up. There should be no new functionality.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants