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

Merge push to create, open PR from push, and push options docs articles into one (#23744) #23959

Merged
merged 1 commit into from Apr 7, 2023

Conversation

lunny
Copy link
Member

@lunny lunny commented Apr 6, 2023

backport #23744

…articles into one (go-gitea#23744)

Add documentation for this feature.

<img width="734" alt="gitea-push-hint"
src="https://user-images.githubusercontent.com/81045/227921177-af08ab76-7556-4a69-8da9-bb59cec1388b.png">

---------

Co-authored-by: delvh <dev.lh@web.de>
@lunny lunny added the type/docs This PR mainly updates/creates documentation label Apr 6, 2023
@lunny lunny added this to the 1.19.1 milestone Apr 6, 2023
@delvh delvh changed the title Merge push to create, open PR from push, and push options docs … Merge push to create, open PR from push, and push options docs articles into one (#23744) Apr 6, 2023
@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Apr 6, 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 Apr 7, 2023
@lunny lunny added the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Apr 7, 2023
@lunny lunny merged commit 5066b20 into go-gitea:release/v1.19 Apr 7, 2023
2 checks passed
@lunny lunny deleted the lunny/push_hint2 branch April 7, 2023 07:49
@lunny lunny removed the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Apr 7, 2023
@go-gitea go-gitea locked as resolved and limited conversation to collaborators Aug 1, 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.

None yet

4 participants