[kde-community] Official KDE mirror on github

Boudhayan Gupta bgupta at kde.org
Thu Sep 17 13:01:10 UTC 2015


I've divided the scripting into two parts - a python script to check
for a repo's existence on github, and create the repo if it doesn't
exist, and a patch to post-update to actually push a mirror copy of
the repo to github.

There's a small policy decision to make here. To auth with GitHub
we'll need a SSH key. GH doesn't allow organization-level SSH keys,
all SSH keys are assigned to users. Therefore an user, who's an owner
of the kde organization, will have to own the SSH key. There's also a
chance that all commits coming from an e-mail ID which is not
registered on GitHub will be credited to this user.

Anyway, most of the heavy-lifting is done; Ben is going to once-over
all the scripts and commit them when he wakes up tomorrow and then
we'll have official GitHub mirrors!

-- Boudhayan

More information about the kde-community mailing list