diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2017-10-23 19:43:47 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2017-10-23 19:43:47 -0200 |
| commit | b45c60df8af294fe97b8912a0b9703c76e5de8d6 (patch) | |
| tree | 2a3442f2e0b3c7494cc591ac8c8053d84c3c9d84 /puppet/bin/post-update | |
| parent | c880b15f013c6d761e4632570112f796ffc1dcda (diff) | |
| parent | 1bfffe2e0adff6e44ec33726988b64f95ea2f599 (diff) | |
| download | debian-b45c60df8af294fe97b8912a0b9703c76e5de8d6.tar.gz debian-b45c60df8af294fe97b8912a0b9703c76e5de8d6.tar.bz2 | |
Merge commit '1bfffe2e0adff6e44ec33726988b64f95ea2f599' into develop
Diffstat (limited to 'puppet/bin/post-update')
| -rwxr-xr-x | puppet/bin/post-update | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/puppet/bin/post-update b/puppet/bin/post-update deleted file mode 100755 index 48a6a16..0000000 --- a/puppet/bin/post-update +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh - -cd .. -unset GIT_DIR - -if [ -d ".git/annex" ]; then - git annex sync -else - git reset HEAD - git checkout -f -fi - -git submodule update --init --recursive - -cd - -exec git update-server-info |