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.

Sign up for GitHub

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

Jump to bottom

Correctly refer to dev tags as nightly in the docker docs (#26004) #26017

Merged
merged 1 commit into from
Jul 20, 2023
Merged

Correctly refer to dev tags as nightly in the docker docs (#26004) #26017

merged 1 commit into from
Jul 20, 2023

Conversation

GiteaBot
Copy link
Collaborator

Backport #26004 by @jolheiser

As title, dev tags are no longer used since we switched to nightly

@jolheiser @GiteaBot
Correctly refer to dev tags as nightly in the docker docs (go-gitea#2…
5292647 
…6004)

As title, `dev` tags are no longer used since we switched to `nightly`

Signed-off-by: jolheiser <john.olheiser@gmail.com>
@GiteaBot GiteaBot added the type/docs This PR mainly updates/creates documentation label Jul 20, 2023
@GiteaBot GiteaBot 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 requested review from delvh and lunny July 20, 2023 12:41
@pull-request-size pull-request-size bot added the size/XS Denotes a PR that changes 0-9 lines, ignoring generated files. 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
@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
@delvh delvh added the skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. label Jul 20, 2023
@silverwind silverwind enabled auto-merge (squash) July 20, 2023 13:42
@silverwind silverwind added the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Jul 20, 2023
@silverwind
Copy link
Member

Drone seems broken realpath: scripts/..: Operation not permitted

@jolheiser jolheiser disabled auto-merge July 20, 2023 15:50
@jolheiser jolheiser merged commit 2184a06 into go-gitea:release/v1.19 Jul 20, 2023
@GiteaBot GiteaBot removed the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Jul 20, 2023
@jolheiser
Copy link
Member

Merged with 🪄 since it's just docs

@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.
Reviewers

@delvh delvh delvh approved these changes

@jolheiser jolheiser jolheiser approved these changes

@lunny lunny Awaiting requested review from lunny

Assignees

@jolheiser jolheiser

Labels
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. size/XS Denotes a PR that changes 0-9 lines, ignoring generated files. 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
Milestone
1.19.5
Development

Successfully merging this pull request may close these issues.
4 participants
@GiteaBot @silverwind @jolheiser @delvh