Skip to content

another try for sourcehut ssh push #388#413

Merged
mpadge merged 1 commit into
mainfrom
sourcehut
Jan 14, 2026
Merged

another try for sourcehut ssh push #388#413
mpadge merged 1 commit into
mainfrom
sourcehut

Conversation

@mpadge
Copy link
Copy Markdown
Member

@mpadge mpadge commented Jan 14, 2026

No description provided.

@mpadge mpadge merged commit 4682978 into main Jan 14, 2026
7 checks passed
@mpadge mpadge deleted the sourcehut branch January 14, 2026 11:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant