Automate deployment

[vkarak]

We should automate deployment, which consists of:

1. Tag release and push the tag
2. Generate documentation and push to the gh-pages branch
3. Generate a first draft of release notes:

   git log --merges --pretty=%b PREV..LATEST | sed '/^\s*$/d'
   

[vkarak]

Example for releasing 2.13.

#!/bin/bash

oldpwd=$(pwd)
tmpdir=$(mktemp -d)
echo "TEMP_DIR=$tmpdir"
cd $tmpdir
git clone https://github.com/eth-cscs/reframe.git
cd reframe
python3 -m venv venv.docs
source venv.docs/bin/activate
pip install --upgrade pip
pip install -r requirements.txt
pip install -r docs/requirements.txt
./test_reframe.py
./reframe.py -V
git tag -a v2.13 -m 'ReFrame 2.13'
git push origin --tags
make -C docs
cd ..
git clone -b gh-pages https://github.com/eth-cscs/reframe.git reframe-doc
cd reframe-doc
rsync -avz ../reframe/docs/html/ .
python3 -m http.server
^C
git commit -a -m 'ReFrame 2.13 documentation'
git push origin gh-pages