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

[Merged by Bors] - Fix Homebrew link #4822

Closed
wants to merge 1 commit into from

Conversation

macladson
Copy link
Member

Issue Addressed

N/A

Proposed Changes

I saw a false positive on the link-check CI run and while investigating I noticed that this link technically 404's but is not "dead" in the strict sense. I have updated it to the correct path.

@macladson macladson added ready-for-review The code is ready for review docs Documentation low-hanging-fruit Easy to resolve, get it before someone else does! labels Oct 10, 2023
@michaelsproul michaelsproul added ready-for-merge This PR is ready to merge. and removed ready-for-review The code is ready for review labels Oct 11, 2023
@michaelsproul
Copy link
Member

bors r+

bors bot pushed a commit that referenced this pull request Oct 11, 2023
## Issue Addressed

N/A

## Proposed Changes

I saw a false positive on the link-check CI run and while investigating I noticed that this link technically 404's but is not "dead" in the strict sense. I have updated it to the correct path.
@bors
Copy link

bors bot commented Oct 11, 2023

Build failed (retrying...):

bors bot pushed a commit that referenced this pull request Oct 11, 2023
## Issue Addressed

N/A

## Proposed Changes

I saw a false positive on the link-check CI run and while investigating I noticed that this link technically 404's but is not "dead" in the strict sense. I have updated it to the correct path.
@bors
Copy link

bors bot commented Oct 11, 2023

Build failed:

@jimmygchen
Copy link
Member

bors r+

bors bot pushed a commit that referenced this pull request Oct 18, 2023
## Issue Addressed

N/A

## Proposed Changes

I saw a false positive on the link-check CI run and while investigating I noticed that this link technically 404's but is not "dead" in the strict sense. I have updated it to the correct path.
@bors
Copy link

bors bot commented Oct 18, 2023

Pull request successfully merged into unstable.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot changed the title Fix Homebrew link [Merged by Bors] - Fix Homebrew link Oct 18, 2023
@bors bors bot closed this Oct 18, 2023
Gua00va pushed a commit to Gua00va/lighthouse that referenced this pull request Oct 18, 2023
## Issue Addressed

N/A

## Proposed Changes

I saw a false positive on the link-check CI run and while investigating I noticed that this link technically 404's but is not "dead" in the strict sense. I have updated it to the correct path.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation low-hanging-fruit Easy to resolve, get it before someone else does! ready-for-merge This PR is ready to merge.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants