Remove unnecessary if in the user guide workflow#8019

Merged

mergify[bot] merged 1 commit intomasterfrom jneira/remove-unnecessary-if-workflow

Feb 28, 2022

-4

Commits on Feb 28, 2022

Remove unnecessary if

jneira
authored and
mergify-bot
committed