#GithubDown since a few minutes... Time to shift to @codeberg + other ethical git servers - https://codeberg.org .