Skip to content

Use metadata on w3c.github.io dynamically #20

Open
Open
Use metadata on w3c.github.io dynamically#20
Labels
enhancement
@tripu

Description

@tripu
tripu
opened on Dec 4, 2018

cf w3c/w3c.github.io#56

Use params data-type and class="value" there, instead of hard-coding in validate-repos.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Type

    No type

    Fields

    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