On 10 April 2012 22:00, Satish Balay <balay at mcs.anl.gov> wrote: > On Tue, 10 Apr 2012, Satish Balay wrote: > >> On Tue, 10 Apr 2012, Lisandro Dalcin wrote: >> >> > On 10 April 2012 21:12, Satish Balay <balay at mcs.anl.gov> wrote: >> > > Lisandro has commit access - so can push directly. [Lisandro - can you >> > > commit/push?] >> > > >> > >> > Yes, but I'm visiting KAUST, and while being at home, sometimes my ssh >> > connections randomly stop working for a random period of time. >> >> I can push your diffs - but perhaps you might want to test if ssh on >> port 443 [https port] works arround the difficulties you are having? >> >> hg pull -u ssh://petsc at petsc.cs.iit.edu:443//hg/petsc/petsc-dev > > pushed now >
Many thanks! PS: pulling is not an issue, as I can always use http. But for pushing, your tip may prove useful. Thanks. -- Lisandro Dalcin --------------- CIMEC (INTEC/CONICET-UNL) Predio CONICET-Santa Fe Colectora RN 168 Km 472, Paraje El Pozo 3000 Santa Fe, Argentina Tel: +54-342-4511594 (ext 1011) Tel/Fax: +54-342-4511169
