Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Makefile: Use portable !, not GNUish -not, with find(1). (#24565) #24572

Merged
merged 1 commit into from
May 7, 2023

Conversation

GiteaBot
Copy link
Collaborator

@GiteaBot GiteaBot commented May 7, 2023

Backport #24565 by @riastradh

fix #24564

)

fix go-gitea#24564

Co-authored-by: Taylor R Campbell <campbell+gitea@mumble.net>
@GiteaBot GiteaBot added this to the 1.19.4 milestone May 7, 2023
@GiteaBot GiteaBot added the lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. label May 7, 2023
@GiteaBot GiteaBot requested review from delvh, lunny and wxiaoguang May 7, 2023 09:49
@pull-request-size pull-request-size bot added the size/XS Denotes a PR that changes 0-9 lines, ignoring generated files. label May 7, 2023
@GiteaBot GiteaBot added lgtm/need 1 This PR needs approval from one additional maintainer to be merged. and removed lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. labels May 7, 2023
@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 7, 2023
@lunny lunny added the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label May 7, 2023
@lunny lunny merged commit 6f57be0 into go-gitea:release/v1.19 May 7, 2023
@GiteaBot GiteaBot removed the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label May 7, 2023
@go-gitea go-gitea locked as resolved and limited conversation to collaborators Aug 5, 2023
@techknowlogick techknowlogick deleted the backport-24565-v1.19 branch September 9, 2023 05:29
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. size/XS Denotes a PR that changes 0-9 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants