You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit 6faa9bb
Browse filesBrowse the repository at this point in the historyBrowse files
git diff HEAD -- $SETTINGS_FULLPATH| grep "^+VERSION ="> /dev/null &&exit 0# Note: manually set VERSION (staged or not, e.g. "git commit -a") is kept as is
0 commit comments