Skip to content

Link to diff should be reported as error #483

Closed
Closed
Link to diff should be reported as error#483
Labels
RULEenhancementNew feature or request
Milestone
0.17.0
@koppor

Description

@koppor
koppor
opened on Dec 23, 2025

Similar to #481

Following obvious bad link should raise an error by heylogs.

- Example [14620](https://github.com/JabRef/jabref/pull/14620/files#diff-06572a96a58dc510037d5efa622f9bec8519bc1beab13c9f251e97e657a9d4ed)

Metadata

Metadata

Assignees

No one assigned

    Labels

    RULEenhancementNew feature or request

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions