#!/bin/bash set -e git remote add github git@github.com:kjuulh/octopush.git || true git push -f github main