mirror of https://gitee.com/bigwinds/arangodb
Merge branch 'devel' of https://github.com/arangodb/arangodb into devel
This commit is contained in:
commit
99e59ce80c
|
@ -48,6 +48,12 @@ make swagger || exit 1
|
|||
|
||||
git add -f Documentation/Examples/*.generated
|
||||
|
||||
case "$TAG" in
|
||||
*-alpha*|*-beta*|devel)
|
||||
git rm -f EXPERIMENTAL
|
||||
;;
|
||||
esac
|
||||
|
||||
if [ "$TAG" == "1" ]; then
|
||||
git commit -m "release version $VERSION" -a
|
||||
git push
|
||||
|
|
Loading…
Reference in New Issue