mirror of https://github.com/go-gitea/gitea synced 2024-06-16 08:15:47 +00:00

This PR cleans up the docs in a way to make them simpler to ingest by
our [docs repo](https://gitea.com/gitea/gitea-docusaurus).

1. It includes all of the sed invocations our ingestion did, removing
the need to do it at build time.
2. It replaces the shortcode variable replacement method with
`@variable@` style, simply for easier sed invocations when required.
3. It removes unused files and moves the docs up a level as cleanup.

---------

Signed-off-by: jolheiser <john.olheiser@gmail.com>

2023-07-26 04:53:13 +00:00

2.2 KiB

Raw Blame History

date

title

slug

sidebar_position

toc

draft

aliases

2020-07-06T16:00:00+02:00

使用: Push

push

false

/zh-tw/push-options

sidebar

parent	name	sidebar_position	identifier
usage	Push	15	push

There are some additional features when pushing commits to Gitea server.

Push Merge Hint

When you pushing commits to a non-default branch, you will get an information from Gitea which is a link, you can click the link and go to a compare page. It's a quick way to create a pull request or a code review yourself in the Gitea UI.

Push Options

Gitea 從 1.13 版開始支援某些 push options 。

支援的 Options

repo.private (true|false) - 修改儲存庫的可見性。

與 push-to-create 一起使用時特別有用。
repo.template (true|false) - 修改儲存庫是否為範本儲存庫。

以下範例修改儲存庫的可見性為公開：

git push -o repo.private=false -u origin main

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

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.

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:

# Add the remote you want to push to
git remote add origin git@{domain}:{username}/{repo name that does not exist yet}.git

# push to the remote
git push -u origin main

This assumes you are using an SSH remote, but you can also use HTTPS remotes as well.

2.2 KiB Raw Blame History