On Wed, Aug 23, 2017 at 4:24 PM, Sebastian Kügler <se...@kde.org> wrote: > Could you not merge these things from github somehow, so that we can keep the > canonical copy on KDE's git, or perhaps also pull recipes from github, *in > addition to* KDE's git?
2 cents: some people already do that one simply needs to whitelist the repo from bot autoreply and handle pull requests manually. Git being what it is, there really is no technical reason against github being an additional UI on top. HS
