commit d0edcf97a3243e3314e3a7c66b098437303835db parent e80ad7ab16b9d42d169bceb523d60510f9bf8fe9 Author: Florian Dold <florian.dold@gmail.com> Date: Sat, 2 Nov 2019 18:01:35 +0100 fix build-docs Diffstat:
| M | buildbot/build-docs.sh | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/buildbot/build-docs.sh b/buildbot/build-docs.sh @@ -10,6 +10,8 @@ fetch () { git reset --hard "$branch" } +source ~/.bashrc + cd $HOME/deployment fetch