ADQL's default branch renamed

[Gregory MANTELET]

Dear ADQL authors and users,

This is information about the GitHub repository for the ADQL standard.
You are free to ignore this email if you do not use it.

Taking into account best practices with Git repository, I have changed the
default branch from `master` to `main`. If you have a fork or a local 
clone here
are the commands (as provided by GitHub) to propagate this change on 
your side:

    git switch master
    git branch -m master main
    git fetch origin
    git branch -u origin/main main
    git remote set-head origin -a


Cheers,
Grégory M.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.ivoa.net/pipermail/dal/attachments/20260818/9f5e8bb0/attachment.htm>