mods to add dev tag

supertokens · Aug 29, 2023 · fc88962 · fc88962
1 parent 8ad1877
commit fc88962
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/addDevTag b/addDevTag
@@ -1,11 +1,5 @@
 #!/bin/bash
 
-# check if we need to merge master into this branch------------
-if [[ $(git log origin/master ^HEAD) ]]; then
-    echo "You need to merge master into this branch. Exiting"
-    exit 1
-fi
-
 # get version------------
 version=`cat ./supertokens/constants.go | grep -e 'const VERSION'`
 while IFS='"' read -ra ADDR; do