From 1d8af3dd3bebf1b1316a62759e3326a1cd1bf69e Mon Sep 17 00:00:00 2001 From: JulesFaucherre Date: Wed, 14 Feb 2024 12:02:42 +0100 Subject: [PATCH] Merge main (#1040) * Enrich github prompt to capture organization ID for GitHub App integration users * fix brew --------- Co-authored-by: Bryan Johnson Co-authored-by: abdelDriowya <111757332+abdelDriowya@users.noreply.github.com> --- .circleci/config.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.circleci/config.yml b/.circleci/config.yml index 945143e17..4edc39607 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -281,6 +281,7 @@ jobs: git config --global user.email "$GH_EMAIL" > /dev/null 2>&1 git config --global user.name "$GH_NAME" > /dev/null 2>&1 - run: brew --version + - run: brew tap --force homebrew/core - run: ./.circleci/brew-deploy.sh chocolatey-deploy: