Merge pull request #15959 from jashook/remove_arm_pr_trigger
authorJarret Shook <jashoo@microsoft.com>
Mon, 22 Jan 2018 06:25:35 +0000 (22:25 -0800)
committerGitHub <noreply@github.com>
Mon, 22 Jan 2018 06:25:35 +0000 (22:25 -0800)
Turn off arm pr trigger


Trivial merge