mirror of
https://github.com/dokku/dokku.git
synced 2026-02-24 04:00:36 +01:00
Users should never be in a position where they need to manually edit files managed by Dokku, and should be pushed to using the `domains` plugin where necessary. Closes #3064 [ci skip]