Thanks! On Thu, Apr 26, 2018 at 4:34 PM, Bastien wrote: > Hi Brent, > > https cloning is for users who just want to git pull: > https://code.orgmode.org/bzg/org-mode.git > > git:// cloning is for developers with a username on code.orgmode.org: > git clone git://code.orgmode.org/bzg/org-mode.git > > HTH, > > -- > Bastien >