commit 00e1f0235cb6fef790e9b855924ea6679ddbaa58 parent 974556166e79017c24d4628475ac2d32c87ee0e6 Author: Christian Grothoff <christian@grothoff.org> Date: Sun, 1 Dec 2019 20:57:27 +0100 update deployment during audit report generation Diffstat:
| M | buildbot/make_auditor_reports.sh | | | 12 | ++++++++++++ |
1 file changed, 12 insertions(+), 0 deletions(-)
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh @@ -6,6 +6,18 @@ set -eu +fetch () { + git clean -fdx + git fetch + # reset to updated upstream branch, but only if we're tracking a branch + branch=$(git rev-parse --abbrev-ref --symbolic-full-name @{u} 2>/dev/null || echo head) + git reset --hard "$branch" +} + +cd $HOME/deployment +fetch +cd + source ${HOME}/activate DATE=$(date +%Y-%m-%d)