Make merge PR

Make merge PR for not having diff between fork and upstream
This commit is contained in:
Robin Windey 2020-10-10 11:28:46 +02:00 committed by GitHub
parent 53c9efb197
commit e014a94d5c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -16,4 +16,3 @@ jobs:
base: master
head: master
ignore_fail: true
merge_method: squash