add devel

old-commit-hash: 9a87f684b5
4 years ago · 0781870e69
parent 4a01386fe6
commit 0781870e69
1 changed files with 1 additions and 1 deletions
--- a/release/verify.sh
+++ b/release/verify.sh
@ -6,7 +6,7 @@ RED="\033[0;31m"
 GREEN="\033[0;32m"
 CLEAR="\033[0m"

-BRANCHES="release2 release3 dashcam dashcam3"
+BRANCHES="devel dashcam dashcam3 release2 release3"
 for b in $BRANCHES; do
  if git diff --quiet origin/$b origin/$b-staging && [ "$(git rev-parse origin/$b)" = "$(git rev-parse origin/$b-staging)" ]; then
    printf "%-10s $GREEN ok $CLEAR\n" "$b"