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

Browse Source

backport #23744

...

This commit is contained in:

Lunny Xiao

2023-04-07 15:49:26 +08:00

committed by GitHub

parent ac658bb92c

commit 5066b208de

5 changed files with 140 additions and 66 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

Binary file not shown.

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