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

Allow developers to use dev commands and HOMEBREW_INSTALL_FROM_API #13815

Merged
merged 1 commit into from
Sep 7, 2022
Merged

Allow developers to use dev commands and HOMEBREW_INSTALL_FROM_API #13815

merged 1 commit into from
Sep 7, 2022

Conversation

Rylan12
Copy link
Member

@Rylan12 Rylan12 commented Sep 6, 2022

See #13794

This PR updates brew.rb so that users who have set HOMEBREW_DEVELOPER and HOMEBREW_INSTALL_FROM_API are allowed to run any developer command. This restriction was originally put in place to combat users trying to run commands that required homebrew/core to be installed without it installed (or with a super old version). However, now that brew update will keep homebrew/core up to date for developers, I think it's safe to remove for these people.

@BrewTestBot
Copy link
Member

Review period will end on 2022-09-07 at 17:05:00 UTC.

@BrewTestBot BrewTestBot added the waiting for feedback Merging is blocked until sufficient time has passed for review label Sep 6, 2022
@MikeMcQuaid MikeMcQuaid added the critical Critical change which should be shipped as soon as possible. label Sep 7, 2022
@MikeMcQuaid
Copy link
Member

Thanks again @Rylan12!

@BrewTestBot BrewTestBot removed the waiting for feedback Merging is blocked until sufficient time has passed for review label Sep 7, 2022
@BrewTestBot
Copy link
Member

Review period skipped due to critical label.

@MikeMcQuaid MikeMcQuaid merged commit 93ea8cb into Homebrew:master Sep 7, 2022
@Rylan12 Rylan12 deleted the developers-api branch September 7, 2022 15:33
@github-actions github-actions bot added the outdated PR was locked due to age label Oct 8, 2022
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Oct 8, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
critical Critical change which should be shipped as soon as possible. outdated PR was locked due to age
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants