Skip to content

oc github#74

Merged
tek merged 2 commits into
mainfrom
oc-github
May 7, 2026
Merged

oc github#74
tek merged 2 commits into
mainfrom
oc-github

Conversation

@tek
Copy link
Copy Markdown
Owner

@tek tek commented May 7, 2026

  • Remove a comment
  • Add OC github as a convenience wrapper of source

@tek tek merged commit 8100d22 into main May 7, 2026
60 checks passed
@tek tek deleted the oc-github branch May 7, 2026 21:15
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