Mirroring Sourcehut to GitHub

from blog Ersei 'n Stuff, | ↗ original
So I (mostly) stopped using GitHub a while back. Unfortunately for me, my CMS Grav requires plugins to be hosted on GitHub. As my KaTeX plugin is developed on Sourcehut, this makes publishing the plugin a little difficult. However, I have come up with an ingenious solution—mirror the Sourcehut repository to GitHub. It's really easier than it...