mirror of
https://github.com/dokku/dokku.git
synced 2025-12-25 00:09:23 +01:00
86795ddacc
While I do not agree with _every_ style change, this will force Dokku to have consistent formatting across all shell scripts, which is arguably a Good Thing™. The command used to reprocess everything is: ```shell shfmt -l -bn -ci -i 2 -w . ```
13 lines
312 B
Bash
Executable File
13 lines
312 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -eo pipefail
|
|
[[ $DOKKU_TRACE ]] && set -x
|
|
source "$PLUGIN_CORE_AVAILABLE_PATH/common/property-functions"
|
|
|
|
trigger-git-post-delete() {
|
|
declare desc="destroys the git properties for a given app"
|
|
declare APP="$1"
|
|
fn-plugin-property-destroy "git" "$APP"
|
|
}
|
|
|
|
trigger-git-post-delete "$@"
|