#!/usr/bin/env bash

set -x

git push upstream master --tags && sleep 10 && ci-check && \
  git push origin master --no-verify

exit 0