#!/bin/sh

# Should mirror a gitea repo into github using the public API