Update meta data of docs

This commit is contained in:
Lunny Xiao
2024-08-06 16:44:42 -07:00
parent 4917bd18ae
commit af22422e1a
861 changed files with 1383 additions and 7148 deletions

View File

@@ -1,6 +1,5 @@
---
date: "2020-07-06T16:00:00+02:00"
title: "Push"
slug: "push"
sidebar_position: 15
aliases:
@@ -8,9 +7,11 @@ aliases:
- /en-us/push-options
---
# Push
There are some additional features when pushing commits to Gitea server.
# Open PR through Push
## Open PR through Push
When you push commits to a non-default branch for the first time,
you will receive a link you can click on to visit the compare page of your branch compared to your main branch.
@@ -18,12 +19,12 @@ From there, it's easy to create a pull request, even if you want to target anoth
![Gitea Push Hint](/gitea-push-hint.png)
# Push Options
## Push Options
In Gitea `1.13`, support for some [push options](https://git-scm.com/docs/git-push#Documentation/git-push.txt--oltoptiongt)
were added.
## Supported Options
### Supported Options
- `repo.private` (true|false) - Change the repository's visibility.
@@ -37,15 +38,15 @@ Example of changing a repository's visibility to public:
git push -o repo.private=false -u origin main
```
# Push To Create
## Push To Create
Push to create is a feature that allows you to push to a repository that does not exist yet in Gitea. This is useful for automation and for allowing users to create repositories without having to go through the web interface. This feature is disabled by default.
## Enabling Push To Create
### Enabling Push To Create
In the `app.ini` file, set `ENABLE_PUSH_CREATE_USER` to `true` and `ENABLE_PUSH_CREATE_ORG` to `true` if you want to allow users to create repositories in their own user account and in organizations they are a member of respectively. Restart Gitea for the changes to take effect. You can read more about these two options in the [Configuration Cheat Sheet](../administration/config-cheat-sheet.md#repository-repository).
## Using Push To Create
### Using Push To Create
Assuming you have a git repository in the current directory, you can push to a repository that does not exist yet in Gitea by running the following command: