diff options
author | Guy Korland <gkorland@gmail.com> | 2019-03-15 21:14:15 +0200 |
---|---|---|
committer | Guy Korland <gkorland@gmail.com> | 2019-03-15 21:14:15 +0200 |
commit | 3c05bc561d62a48ed0e11d30a4c393f0cc309951 (patch) | |
tree | ded17d559b40eb53fbc13848d1113e5e0d300e1a /.github | |
parent | a2ac5c38403564d5f1051b2facf0eda2ef1c16f7 (diff) | |
download | redis-3c05bc561d62a48ed0e11d30a4c393f0cc309951.tar.gz |
add pull app
Diffstat (limited to '.github')
-rw-r--r-- | .github/pull.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/pull.yml b/.github/pull.yml new file mode 100644 index 000000000..4cc55b0f5 --- /dev/null +++ b/.github/pull.yml @@ -0,0 +1,5 @@ +version: "1" +rules: + - base: unstable + upstream: antirez:unstable + mergeMethod: merge |