On 19 December 2014 at 14:23, Peter Kelly <[email protected]> wrote: > > > On 19 Dec 2014, at 7:41 pm, jan i <[email protected]> wrote: > > > > Hi. > > > > maybe its just me, but should we not delete "develop" on the server ? > > Yes; I was going to do this earlier but forgot. It’s gone now. >
No problem, it just seems you and dennis is light years ahead of me, so I prefer to ask :-) Btw, I did a "git clone ......" but it only cloned master, should it not have taken all branches ? the only solution I could find was "git co -b stable origin/stable", but for sure I missed something in the cloning (or do we still have something not totally correct) ? rgds jan i. > > — > Dr Peter M. Kelly > [email protected] > > PGP key: http://www.kellypmk.net/pgp-key <http://www.kellypmk.net/pgp-key> > (fingerprint 5435 6718 59F0 DD1F BFA0 5E46 2523 BAA1 44AE 2966) > >
