Skip to content

Conversation

delvh
Copy link
Member

@delvh delvh commented Nov 13, 2022

No description provided.

@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Nov 13, 2022
@GiteaBot GiteaBot added lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. and removed lgtm/need 1 This PR needs approval from one additional maintainer to be merged. labels Nov 13, 2022
@lunny lunny added the type/docs This PR mainly updates/creates documentation label Nov 14, 2022
@lunny lunny added the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Nov 14, 2022
@zeripath zeripath merged commit 55115db into go-gitea:main Nov 14, 2022
@delvh delvh deleted the documentation/push-mirrors branch November 14, 2022 21:20
@lunny lunny removed the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Nov 15, 2022
zjjhot added a commit to zjjhot/gitea that referenced this pull request Nov 16, 2022
* giteaofficial/main:
  Added space between avatar and username (go-gitea#21825)
  Skip GitHub migration tests if the API token is undefined (go-gitea#21824)
  Add `updated_at` field to PullReview API object (go-gitea#21812)
  Adjust gitea doctor --run storages to check all storage types (go-gitea#21785)
  Remove `href="javascript:;"` in "save topics (Done)" button (go-gitea#21813)
  Improve pull/ push mirror documentation (especially for GitHub) (go-gitea#21801)
@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
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. type/docs This PR mainly updates/creates documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants