Skip to content

Add sync github action#120

Merged
jjjordan merged 2 commits into
joe-editor:mainfrom
jjjordan:main
Jul 2, 2026
Merged

Add sync github action#120
jjjordan merged 2 commits into
joe-editor:mainfrom
jjjordan:main

Conversation

@jjjordan

@jjjordan jjjordan commented Jul 2, 2026

Copy link
Copy Markdown
Member

Adds a GHA to sync Sourceforge repo on pushes to this repo.

Resolves #24

@jjjordan
jjjordan merged commit 3874898 into joe-editor:main Jul 2, 2026
3 checks passed
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.

Mirror Git repository to Sourceforge

1 participant