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

Browse source

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>

...

This commit is contained in:

Lunny Xiao 2023-04-07 07:36:19 +08:00 • committed by GitHub

parent e5dcd6aada

commit 8857e97b5f

No known key found for this signature in database

GPG key ID: 4AEE18F83AFDEB23

5 changed files with 107 additions and 73 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

BIN

docs/static/gitea-push-hint.png vendored Normal file

View file

Binary file not shown.

Side by side After Width:  |  Height:  |  Size: 412 KiB