diff options
author | Andrew Arnott <andrewarnott@gmail.com> | 2020-09-28 16:49:06 +0300 |
---|---|---|
committer | Andrew Arnott <andrewarnott@gmail.com> | 2020-09-28 16:49:45 +0300 |
commit | 041051e8d0670543483959e15e52a0370e6d6172 (patch) | |
tree | 18d5989141fe69524ea36f3eb268da2c8b57404b /version.json | |
parent | 60b68dc70a97c2dd4b9addb0df84787cc252021a (diff) |
Ship public releases out of `develop`
Diffstat (limited to 'version.json')
-rw-r--r-- | version.json | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/version.json b/version.json index 135b983d..007bf56e 100644 --- a/version.json +++ b/version.json @@ -4,6 +4,7 @@ "publicReleaseRefSpec": [ "^refs/heads/master$", "^refs/heads/v1\\.x$", - "^refs/heads/v\\d+(?:.\\d+)?$" + "^refs/heads/v\\d+(?:.\\d+)?$", + "^refs/heads/develop$" ] } |