Skip to content

Sensitive for git URL endings #40

@davidanthoff

Description

@davidanthoff

This line marks differences in URLs as an error that it probably shouldn't, in particular the following two URLs should probably be treated as identical: https://github.com/Foo/Bar.jl and https://github.com/Foo/Bar.jl.git.

I'm not familiar with the code, though, to propose a fix.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions