Skip to content

chore: Work around ggnetwork problems for now#987

Merged
aviator-app[bot] merged 1 commit intomainfrom
b-ggnetwork
Dec 6, 2023
Merged

chore: Work around ggnetwork problems for now#987
aviator-app[bot] merged 1 commit intomainfrom
b-ggnetwork

Conversation

@krlmlr
Copy link
Copy Markdown
Contributor

@krlmlr krlmlr commented Dec 6, 2023

Needs to be reverted after the 1.6.0 release.

CC @briatte.

@aviator-app
Copy link
Copy Markdown
Contributor

aviator-app bot commented Dec 6, 2023

Current Aviator status

Aviator will automatically update this comment as the status of the PR changes.
Comment /aviator refresh to force Aviator to re-examine your PR (or learn about other /aviator commands).

This PR was merged using Aviator.


See the real-time status of this PR on the Aviator webapp.

Use the Aviator Chrome Extension to see the status of your PR within GitHub.

@aviator-app aviator-app bot merged commit a052782 into main Dec 6, 2023
@aviator-app aviator-app bot deleted the b-ggnetwork branch December 6, 2023 11:45
krlmlr added a commit that referenced this pull request Dec 6, 2023
This reverts commit a052782, reversing
changes made to 949d92a.
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 6, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant