10 Apr
2012
10 Apr
'12
2 p.m.
On Tue, 10 Apr 2012, Satish Balay wrote:
On Tue, 10 Apr 2012, Lisandro Dalcin wrote:
On 10 April 2012 21:12, Satish Balay <[email protected]> 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://[email protected]:443//hg/petsc/petsc-dev
pushed now satish