blob: 61a13b637818c8440b435b92f4ddd1c3ff884945 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/bin/bash
set -eu
cd $HOME/deployment
# like "git pull", but discard local changes
git fetch
git reset --hard FETCH_HEAD
cd $HOME/deployment/taler-sitesbuild
./invalidate.sh
make
|