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

API for managing push mirrors #19401

Closed
harryzcy opened this issue Apr 14, 2022 · 1 comment
Closed

API for managing push mirrors #19401

harryzcy opened this issue Apr 14, 2022 · 1 comment
Labels
type/feature Completely new functionality. Can only be merged if feature freeze is not active. type/proposal The new feature has not been accepted yet but needs to be discussed first.

Comments

@harryzcy
Copy link
Contributor

Feature Description

Supply APIs for adding/removing/editing push mirrors

Screenshots

No response

@harryzcy harryzcy added type/feature Completely new functionality. Can only be merged if feature freeze is not active. type/proposal The new feature has not been accepted yet but needs to be discussed first. labels Apr 14, 2022
@zeripath
Copy link
Contributor

zeripath commented Jun 3, 2022

Duplicate of #19796

@zeripath zeripath closed this as completed Jun 3, 2022
@go-gitea go-gitea locked and limited conversation to collaborators May 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
type/feature Completely new functionality. Can only be merged if feature freeze is not active. type/proposal The new feature has not been accepted yet but needs to be discussed first.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants