Skip to content

Conversation

hudochenkov
Copy link
Member

Is there anything in the PR that needs further explanation?

These are not needed anymore as we close to release and we have regular PR to master.

@jeddy3 jeddy3 merged commit 2eee0a9 into v14 Oct 20, 2021
@jeddy3 jeddy3 deleted the remove-ci-triggers branch October 20, 2021 21:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants