Skip to content

what is the difference with jkuri/bore #184

Closed as not planned
Closed as not planned
what is the difference with jkuri/bore#184
@channel101

Description

@channel101
channel101
opened on Feb 8, 2026

what is https://github.com/jkuri/bore and what is https://github.com/ekzhang/bore

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions