Replies: 1 comment 2 replies
-
Thanks for the hint! Indeeds it's a manual process and I usually do it after a major feature was merged - this didn't happen in way too long. Also, when trying to push now, I get this:
And despite wonky error handling, it doesn't actually work and the remote is not uptodate. I wish |
Beta Was this translation helpful? Give feedback.
2 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
See https://codeberg.org/Byron/gitoxide, last commit was 2 months ago 🤔
Maybe this needs to be automated.
Beta Was this translation helpful? Give feedback.
All reactions