Skip to content

Conversation

@robot-ci-heartex
Copy link
Collaborator

Hi @nicholasrq!

This PR was created in response to a PRs in upstream repo:

@swarmia
Copy link

swarmia bot commented Oct 27, 2022

@github-actions github-actions bot added the fix label Oct 27, 2022
@robot-ci-heartex robot-ci-heartex marked this pull request as ready for review November 3, 2022 11:37
@robot-ci-heartex robot-ci-heartex enabled auto-merge (squash) November 3, 2022 11:37
@nick-skriabin
Copy link
Member

nick-skriabin commented Nov 3, 2022

/git merge develop

Error: failed to execute "merge" command

Workflow run

@robot-ci-heartex robot-ci-heartex merged commit 4777d90 into develop Nov 3, 2022
@github-actions github-actions bot deleted the fb-dev-3617 branch November 3, 2022 13:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants