You write:
Now create a repository on https://github.com/ivoa-std/. This requires
that you are in the ivoa-std organization.
It took me a while to realise that means "in the github web interface,
under the "+" menu". I guess it would be a nice touch to mention this.
Also, since I think not many people have write permission in ivoa-std,
perhaps that ought to be parameterised, and people should be encouraged
to first clone into their private spaces, as in:
export DESTUSER=msdemlei
...
git remote add origin git@github.com:$DESTUSER/ADQL
You write:
It took me a while to realise that means "in the github web interface,
under the "+" menu". I guess it would be a nice touch to mention this.
Also, since I think not many people have write permission in ivoa-std,
perhaps that ought to be parameterised, and people should be encouraged
to first clone into their private spaces, as in: