diff options
Diffstat (limited to 'scripts/pre-push')
| -rwxr-xr-x | scripts/pre-push | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/pre-push b/scripts/pre-push index 0349378056..945fb3519a 100755 --- a/scripts/pre-push +++ b/scripts/pre-push @@ -22,10 +22,10 @@ # <local ref> <local sha1> <remote ref> <remote sha1> # -RELEASES="20 19 18 17 r16 r15 r14 r13" +RELEASES="21 20 19 18 17 r16 r15 r14 r13" # First commit on master, not allowed in other branches -MASTER_ONLY=f52748254f17ba42e344798e8c787a1e3361fa33 +MASTER_ONLY=aea2a053e28a11497796879715be29ab0c3cd1a0 # Number of commits and files allowed in one push by this script NCOMMITS_MAX=100 @@ -158,7 +158,7 @@ then exit 1 fi ;; - refs/tags/OTP-20.* | refs/tags/OTP-19.* | refs/tags/OTP-18.* | refs/tags/OTP-17.*) + refs/tags/OTP-21.* | refs/tags/OTP-20.* | refs/tags/OTP-19.* | refs/tags/OTP-18.* | refs/tags/OTP-17.*) tag=${remote_ref#refs/tags/} if [ "$remote_sha" != $null ] then |