Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #5222 - JohnTitor:dont-deploy, r=flip1995
Do not run deploy action on other repos Usually, we don't have to run deploy action on other repos, let's ignore there. changelog: none
- Loading branch information