Quick start
This repository is empty. Push an existing repository:
git remote add origin https://gitshark.de/git/workaround/gitshark-docs.git git push -u origin main
git remote add origin git@gitshark.de:workaround/gitshark-docs.git git push -u origin main