Hi, 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 _______________________________________________ kde-community mailing list kde-community@kde.org https://mail.kde.org/mailman/listinfo/kde-community
