publish.sh 424 B

1234567891011121314
  1. #!/bin/sh
  2. set -exu
  3. (
  4. cd "$FEED_DIRECTORY"
  5. git checkout "$PROJECT_NAME" || git checkout -b "$PROJECT_NAME"
  6. cp "$BASE_DIRECTORY/$PROJECT_PRETTY_NAME.docset.tgz" .
  7. cp "$BASE_DIRECTORY/$PROJECT_PRETTY_NAME.xml" .
  8. git add --all
  9. git commit --message "Deployment"
  10. git push --force "https://$CODEBERG_GIT_USERNAME:$CODEBERG_GIT_PASSWORD@codeberg.org/$CI_REPO_OWNER/$CI_REPO_NAME.git" "$PROJECT_NAME"
  11. )