
<!DOCTYPE html>

<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    Dear ADQL authors and users,<br>

    <br>

    This is information about the GitHub repository for the ADQL

    standard.<br>

    You are free to ignore this email if you do not use it.<br>

    <br>

    Taking into account best practices with Git repository, I have

    changed the<br>

    default branch from <font face="monospace">`master`</font> to <font

      face="monospace">`main`</font>. If you have a fork or a local

    clone here<br>

    are the commands (as provided by GitHub) to propagate this change on

    your side:<br>

    <br>

    <blockquote><font face="monospace">git switch master</font><br>

      <font face="monospace">git branch -m master main</font><br>

      <font face="monospace">git fetch origin</font><br>

      <font face="monospace">git branch -u origin/main main</font><br>

      <font face="monospace">git remote set-head origin -a</font><br>

    </blockquote>

    <br>

    Cheers,<br>

    Grégory M.<br>

    <br>

  </body>

</html>