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

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

- No: I would set up a new GitHub user for mirroring.


(2) Do you have a preference when it comes to pushing via SSH vs. HTTPS?

- SSH: If you have a GitHub account already, things should be set up and
ready
to go. Otherwise, if I create a new account for mirroring, I would kindly
ask
you to send me an SSH key of your liking and I will add it to the account.

- HTTPS: Again, if you have a GitHub account, no further actions are
required.
Otherwise, I would create an account and transfer the password to you.


(3) Are you able to save the password (of the SSH key or the user in case of
HTTPS) on the server? In that case, the post receive hooks really come down
to
executing

  `git push --mirror github-mirror`

if the remotes `github-mirror` were added to the repositories on the server.

Please let me know what you think and what you prefer.

Thank you so much,
Armin


> > 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 
> > because any party can mirror using cron.  I am guessing the real
question is ...

> Exactly, cron jobs would only be the backup option.

> I will prepare the hook files (one for each repository) and send them to
you.

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

[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 indeed many projects have source
code mirrored there.  But Savannah processes itself cannot use any
non-free software nor endorse non-free software.

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.

Bob

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

[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
Priority: 5 - Normal
Severity: 3 - Normal
  Status: None
 Assigned to: None
Originator Email: leoperezpul...@gmail.com
Operating System: GNU/Linux
 Open/Closed: Open
 Discussion Lock: Any

___

Details:

Hi,
It seems that somehow the user name: leoperezpulido has been deleted.
Please, can you tell me what can I do?
Thanks.
Leonardo Perez Pulido.




___

Reply to this item at:

  

___
  Message sent via Savannah
  https://savannah.gnu.org/

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

[Bob Proulx]

Update of sr #109499 (project administration):

  Status:None => Done   
 Assigned to:None => rwp
 Open/Closed:Open => Closed 

___

Follow-up Comment #1:

Your account was suspended.  I do not know the reason.

I have activated the account again.  Please use the Lost Password recovery
from the login screen to recovery a password and gain access to the account.

Let us know if you have any problems, questions, or good jokes to tell. :-)


___

Reply to this item at:

  

___
  Message sent via Savannah
  https://savannah.gnu.org/