diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-11-29 23:36:47 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-11-30 00:11:53 +0300 |
| commit | f305c205aec131d91b3ff9f0efc016ee767a8c44 (patch) | |
| tree | ae45bc5acb738c7003266370a65c2d5becbbf3ab /.travis/docker/server/setup_repo.sh | |
| parent | Travis: lint the config (diff) | |
| download | cgitize-f305c205aec131d91b3ff9f0efc016ee767a8c44.tar.gz cgitize-f305c205aec131d91b3ff9f0efc016ee767a8c44.zip | |
bye-bye, Travisno_more_travis
Diffstat (limited to '.travis/docker/server/setup_repo.sh')
| -rwxr-xr-x | .travis/docker/server/setup_repo.sh | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/.travis/docker/server/setup_repo.sh b/.travis/docker/server/setup_repo.sh deleted file mode 100755 index 82ae711..0000000 --- a/.travis/docker/server/setup_repo.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/usr/bin/env bash - -set -o errexit -o nounset -o pipefail - -readonly local_repo_path="$HOME/test_repo" - -setup_local_repo() { - echo - echo ---------------------------------------------------------------------- - echo Setting up upstream repository - echo ---------------------------------------------------------------------- - - mkdir -p -- "$local_repo_path" - pushd -- "$local_repo_path" > /dev/null - git init - echo '1' > 1.txt - git add . - git commit -m 'first commit' - echo '2' > 2.txt - git add . - git commit -m 'second commit' - popd > /dev/null -} - -main() { - setup_local_repo -} - -main |