#!/usr/bin/env bash cp -r core repo cd repo git init -b main git add . git commit -m "Update files to the repo" git remote add origin https://vogsphere.chatons.duckdns.org/marvin/core.git git push -u origin main --force rm -rf ../repo