[savannah-help-public] [sr #108714] Please help fix a2ps git repo

2015-01-02 Thread Bob Proulx
Follow-up Comment #3, sr #108714 (project administration): Umh... Any origin/* refs will be in your clones and not in the upstream savannah repository. They will only contain branches. Currently there are two branches. One is the standard default master branch. The other is your "arabic" branc

[savannah-help-public] [sr #108711] Documentation Removal Request

2015-01-02 Thread Bob Proulx
Update of sr #108711 (project administration): Status:None => Wont Do Open/Closed:Open => Closed Summary: Web Pages CVS Repository Reset => Documentation Removal Request __

Re: [savannah-help-public] subversion problem with GNU project

2015-01-02 Thread Antonio Ceballos
Hi Assaf, Thanks a lot for your support. Yes, my user name is aceballos. As I have just told Karl in answer to his help message, I have realized that I must have deleted my $HOME/.ssh some time ago. Hence, I cannot execute the command you say. I am trying to find out if there is an easy way to r