1  #!/usr/bin/env bash
 2  
 3  set -euo pipefail
 4  
 5  git clone "https://${GITHUB_TOKEN}@github.com/Defelo/Defelo.git" repo
 6  
 7  ./generate.sh > repo/README.md
 8  
 9  cd repo
10  if ! git diff --exit-code; then
11    git config user.email bot@defelo.de
12    git config user.name "Defelo Bot"
13    git commit -a --amend --no-edit --reset-author
14    git push --force-with-lease
15  fi
16  
17  cd ..
18  rm -rf repo