tree 824298c69dd1feb9718d0a0ca59a7a74b0d9beee
parent 909142f2c08881ed4f6a8011b2db34475f865711
author Damien Martin-Guillerez <dmarting@google.com> 1500393812 +0200
committer Damien Martin-Guillerez <dmarting@google.com> 1500394029 +0200

Deactive Github PR trigger on testing instance

The previous deactivation was lost in the rebasing when
the PR-Trigger got deleted.

Change-Id: Idcdee76b090ff412775097c53b0524c80d665912