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

[doctor] explain what enable-push-options does #19740

Merged
merged 1 commit into from
May 18, 2022

Conversation

silentcodeg
Copy link
Contributor

No description provided.

@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label May 18, 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 May 18, 2022
@techknowlogick techknowlogick merged commit 6a052fb into go-gitea:main May 18, 2022
@techknowlogick techknowlogick added this to the 1.17.0 milestone May 18, 2022
@techknowlogick techknowlogick added type/docs This PR mainly updates/creates documentation skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. labels May 18, 2022
zjjhot added a commit to zjjhot/gitea that referenced this pull request May 19, 2022
* giteaofficial/main:
  Update base.go (go-gitea#19739)
  [doctor] do not update User Stars numbers unless --fix (go-gitea#19750)
  Fix incorrect translation key (go-gitea#19744)
  Improved ref comment link when origin is body/title (go-gitea#19741)
  [doctor] explain what enable-push-options does (go-gitea#19740)
AbdulrhmnGhanem pushed a commit to kitspace/gitea that referenced this pull request Aug 24, 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
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. type/docs This PR mainly updates/creates documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants