Skip to content

name-replacements - prefer abbreviation‽ The variable repository should be named repo #3404

Description

@fregante

This commit added the repository -> repo replacement, which seems out of place and a bug?

f968bf3#diff-429eaddccac4ab44fdbb68ef30d618b2d1737ef4f3bcf1a855127b6181260075R43-R227

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions