Hosted version of the deprecated Github Push Extension.
Please note this is a unreviewed legacy extension, use carefully on non-sensitive repositories. I recommend using fine-grained tokens to prevent risk.
Preferences → General → Advanced Settings → Install: https://cdn.jsdelivr.net/gh/myreli/sn.github-push@latest/extension-installer.json