them.es main repositories on Github have been renamed

Last year Github changed the name for newly created repositories: https://github.blog/changelog/2020-10-01-the-default-branch-for-newly-created-repositories-is-now-main

To align with this change we’ve decided to rename all our existing Github repositories.

If you run a local master branch of any of our repositories you need to update your local branch to main:

• $ git branch -m master main
• $ git fetch origin
• $ git branch -u origin/main main