Skip to content

Documentation Enhancements #182

New issue
New issue
Open
Open
Documentation Enhancements#182
Labels
GHC_OSDGrace Hopper Conference Open Source Day IssuesdocumentationImprovements or additions to documentationenhancementNew feature or requestgood first issueGood for newcomershelp wantedExtra attention is neededomega-analyzerIssues related to the Omega analyzer
@AOrps

Description

@AOrps
AOrps
opened on Jul 12, 2023
  • Wanna scan a package on github?

Reproduce thing:

https://github.com/keeweb/keeweb/releases/tag/v1.18.7
after downloading thing use the flag format: pkg:github/keeweb/keeweb@1.18.7?local_source=true

Metadata

Metadata

Assignees

No one assigned

    Labels

    GHC_OSDGrace Hopper Conference Open Source Day IssuesdocumentationImprovements or additions to documentationenhancementNew feature or requestgood first issueGood for newcomershelp wantedExtra attention is neededomega-analyzerIssues related to the Omega analyzer

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions