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-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

[savannah-help-public] [sr #109499] User name deleted

2018-05-01 Thread anonymous
URL: Summary: User name deleted Project: Savannah Administration Submitted by: None Submitted on: Wed 02 May 2018 12:25:46 AM UTC Category: Savannah website Priorit

[savannah-help-public] [sr #109499] User name deleted

2018-05-01 Thread Bob Proulx
Update of sr #109499 (project administration): Status:None => Done Assigned to:None => rwp Open/Closed:Open => Closed ___