mirrors
/
redis
mirror of https://mirror.osredm.com/root/redis.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

add pull app

This commit is contained in:
Guy Korland 2019-03-15 21:14:15 +02:00
parent a2ac5c3840
commit 3c05bc561d
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/pull.yml vendored Normal file
View File

@ -0,0 +1,5 @@
version: "1"
rules:
- base: unstable
upstream: antirez:unstable
mergeMethod: merge