Skip to content

Revert "Merge main into v1" - #119

Merged
robertbrignull merged 1 commit into
v1from
revert-114-update-v1-58a00345
Jul 21, 2020
Merged

Revert "Merge main into v1"#119
robertbrignull merged 1 commit into
v1from
revert-114-update-v1-58a00345

Conversation

@robertbrignull

@robertbrignullrobertbrignull commented Jul 21, 2020

Copy link
Copy Markdown
Contributor

Reverts #114 as we unfortunately discovered a bug in this week's update. We'll work on fixing it and do another push to main or wait until next week.

The bug relates to when a config file is specified but does not include the disable-default-queries option and we erroneously don't add the default queries.

@marcogario

@robertbrignull

Copy link
Copy Markdown
ContributorAuthor

The "failing check" is because the PR we're reverting fixed trivial alerts, so now we're reintroducing them. But they're harmless.

@robertbrignull
robertbrignull merged commit b6d6e1b into v1Jul 21, 2020
@robertbrignull
robertbrignull deleted the revert-114-update-v1-58a00345 branch July 21, 2020 09:51
@github-actionsgithub-actionsBot mentioned this pull request Jul 27, 2020
@robertbrignullrobertbrignull mentioned this pull request Jul 27, 2020
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@robertbrignull@marcogario