You need to sign in or sign up before continuing.
mirror.yml: don't trigger on pull_request
For this to work, it needs some custom code to create ad-hoc branches with merged PR state. Let's disable this for now.
Please register or sign in to comment