I'll unfix the PR later. Sorry, I totally flubbed it now
On Oct 26, 2013 4:46 PM, "rhy-jot" <notifications@github.com> wrote:

> In plugins/00_dokku-standard/bin/delete-app:
>
> > @@ -0,0 +1,3 @@
> > +#!/bin/bash
> > +set -e
> > +[[ -n $1 ]] && rm -r "/home/git/$1" > /dev/null
>
> If running the command as the dokku user it would fail to delete the git
> repository as the repository is owned by git:git.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/progrium/dokku/pull/262/files#r7234996>
> .
>