Re: Lua 5.4 github repository

[Dirk Laurie <dirk.laurie@...>]

Op Do. 23 Mei 2019 om 09:51 het Daurnimator <quae@daurnimator.com> geskryf:
>
> On Thu, 23 May 2019 at 17:45, Dirk Laurie <dirk.laurie@gmail.com> wrote:
> >
> > On 29 March 2019, I cloned the repository.
> >
> > 'git status' still says:
> >
> > On branch master
> > Your branch is up to date with 'origin/master'.
> >
> > I get the impression, from recent discussions on this list, that there must be another branch on which there has been plenty of commits.
>
> Have you pulled? Run: git pull
> If that doesn't work, paste output of: git remote -v

Thanks. Forgot that I should be doing that. My normal interaction with
github is all in the opposite direction :-)