Re: [savannah-help-public] sviki out-of-sync [was: Re: git.sv.gnu.org flaky...]

2018-07-03 Thread Bob Proulx
Ineiev wrote: > Bob Proulx wrote: > > I just updated the wiki page with that information. However the > > web copy hasn't updated yet. If it doesn't update Monday I will > > investigate why. > > Last time I had to run the script on frontend manually; IIRC it didn't > let connect via ssh from vcs

[savannah-help-public] sviki out-of-sync [was: Re: git.sv.gnu.org flaky...]

2018-07-02 Thread Ineiev
On Mon, Jul 02, 2018 at 02:01:10AM -0600, Bob Proulx wrote: > > I just > updated the wiki page with that information. However the web copy > hasn't updated yet. If it doesn't update Monday I will investigate > why. Last time I had to run the script on frontend manually; IIRC it didn't let conne