Re: [savannah-help-public] [GSoC] Quick Update on Fuzzing

2018-05-08 Thread armin
> However I don't see a problem with triggering a mirroring push to one of your > accounts as long as only libre free software is involved on the Savannah end. Thanks, that is great news indeed :) I would suggest to use the username `ftmirror` for the mirror bot. It is kind of connected to FreeT

Re: [savannah-help-public] [GSoC] Quick Update on Fuzzing

2018-05-01 Thread Bob Proulx
Hello Armin, > (1) Do you (Savannah Hacker team) happen to have a GitHub account > that you would like to use for pushing to the GitHub mirrors? GitHub uses non-free software. Savannah can't officially sanction using non-free by having an official account. Mirroring can be done by anyone. And

Re: [savannah-help-public] [GSoC] Quick Update on Fuzzing

2018-05-01 Thread armin
Hi Bob, a couple of short follow-up questions on this matter: (1) Do you (Savannah Hacker team) happen to have a GitHub account that you would like to use for pushing to the GitHub mirrors? - Yes: can you please tell me the user name, I will add appropriate rights to the repositories on GitHub

Re: [savannah-help-public] [GSoC] Quick Update on Fuzzing

2018-04-30 Thread armin
Hi Bob, > Yes. Savannah's repositories allow hooks. There is no automated > mechanism for installing them however. Please simply ask the Savannah > Hacker team to install them. We are happy to do so. These are amazing news :) > I assume that question isn't about just doing it by cron though

Re: [savannah-help-public] [GSoC] Quick Update on Fuzzing

2018-04-30 Thread Bob Proulx
Hello Werner, Werner LEMBERG wrote: > > What's more, Werner agreed to have an official mirror of FreeType at > > https://github.com/freetype/freetype. As of now, I am not sure if > > Savannah supports server-side git hooks (does anyone know?). > > please answer this... Yes. Savannah's reposito

Re: [savannah-help-public] [GSoC] Quick Update on Fuzzing

2018-04-30 Thread Werner LEMBERG
Dear Savannah hackers, > What's more, Werner agreed to have an official mirror of FreeType at > https://github.com/freetype/freetype. As of now, I am not sure if > Savannah supports server-side git hooks (does anyone know?). please answer this... > I know that cvs root access is definitely pr