Commit 8ada025e authored by Jyotish P's avatar Jyotish P
Browse files

Create tags even when there is nothing to commit

parent c00e620f
......@@ -53,7 +53,7 @@ setup_commits() {
REMOTE=$(git remote -v | grep | head -1 | awk '{print $1}')
TAG=$(echo "$@" | sed 's/ /-/g')
git add --all
git commit -m "Changes for submission-$TAG"
git commit -m "Changes for submission-$TAG" || true
git tag -am "submission-$TAG" "submission-$TAG" || (log_error "There is another submission with the same description. Please give a different description." && exit 1)
git push -f $REMOTE master
git push -f $REMOTE "submission-$TAG"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment