diff options
author | ng0 <ng0@n0.is> | 2019-03-05 10:35:01 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-03-05 10:35:01 +0000 |
commit | 4e4039ea6d8341b5c7e4e7a34b44d024d8a21d51 (patch) | |
tree | bf1d5980ae2aac1b8260c8794fb4948760c60609 /contrib | |
parent | 7ff4f5d008a72da6ee122baebbec0582dc71eb0a (diff) | |
download | gnunet-4e4039ea6d8341b5c7e4e7a34b44d024d8a21d51.tar.gz gnunet-4e4039ea6d8341b5c7e4e7a34b44d024d8a21d51.zip |
handbook_pull.sh
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/gnunet_infrastructure/handbook_pull.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/contrib/gnunet_infrastructure/handbook_pull.sh b/contrib/gnunet_infrastructure/handbook_pull.sh new file mode 100755 index 000000000..16c7430ae --- /dev/null +++ b/contrib/gnunet_infrastructure/handbook_pull.sh | |||
@@ -0,0 +1,18 @@ | |||
1 | #!/bin/sh | ||
2 | # | ||
3 | # This essentially could be solved by: | ||
4 | # git config pull.rebase true | ||
5 | # git config rebase.autoStash true | ||
6 | # but chances are that this is easy to | ||
7 | # forget. | ||
8 | # so execute this file on the server | ||
9 | # instead of setting a git config. | ||
10 | |||
11 | echo "Running git pull with autoStash and rebase" | ||
12 | echo "If anything breaks in the future, delete" | ||
13 | echo "and repeat - it was once considered to" | ||
14 | echo "be responsible for non-trivial conflicts!" | ||
15 | echo "We apply this because we need to build the" | ||
16 | echo "handbook and tutorial without manual interventions." | ||
17 | |||
18 | git pull --rebase --autostash | ||