Quick start

This repository is empty. Push an existing repository:

git remote add origin https://gitshark.ha1nz.de/git/miggi@sso.mymiggi.de/GitShark.git
git push -u origin main