===Preparation===
# Create a GitHub user account: [https://github.com/signup/free here] (your github user name username will be referenced as $username)
# Set up SSH access to GitHub as described [https://docs.github.com/en/github/authenticating-to-github/connecting-to-github-with-ssh here]
# Create a fork of one of the BaseXdb projects (it will be referenced as $project)