On Monday, 20 April 2015 at 22:57:51 UTC, Stewart Gordon wrote:I committed some updates the other day and they seem they have gone straight into the online repository.Committing is a local (non-network) operation in git, so you must have pushed them afterwards, or your GUI has done this for you.
I think he's using github's svn support The repository is still a git repository.
