Skip to content

Conversation

mfranzke
Copy link
Member

@mfranzke mfranzke commented Feb 20, 2023

The checks-done step must succeed before we expect this pipeline to be able to get merged

adapted from https://github.com/orgs/community/discussions/26822#discussioncomment-3305794

Predecessor: #331

Fixes #328

@mfranzke mfranzke added bug Something isn't working cicd labels Feb 20, 2023
@mfranzke mfranzke added this to the Release 2.x milestone Feb 20, 2023
@mfranzke mfranzke requested a review from nmerget as a code owner February 20, 2023 08:30
@mfranzke mfranzke self-assigned this Feb 20, 2023
@mfranzke mfranzke requested a review from dkolba as a code owner February 20, 2023 08:30
@mfranzke mfranzke linked an issue Feb 20, 2023 that may be closed by this pull request
@mfranzke mfranzke requested a review from annsch as a code owner February 20, 2023 08:30
@github-actions
Copy link
Contributor

@mfranzke mfranzke merged commit 36dd0c5 into main Feb 22, 2023
@mfranzke mfranzke deleted the 328-pr-merged-even-though-that-linting-failed branch February 22, 2023 07:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working cicd
Projects
None yet
Development

Successfully merging this pull request may close these issues.

PR merged even though that linting failed
2 participants