Splitting Craft, move the recipes to GitHub

[Harald Sitter]

On Wed, Aug 23, 2017 at 4:24 PM, Sebastian Kügler <sebas at 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