Skip to content

[doc] Merge CI integrations into Other tools / integrations #2513

Closed as not planned
Closed as not planned
[doc] Merge CI integrations into Other tools / integrations#2513
Labels
an:enhancementAn improvement on existing features / rulesin:documentationAffects the documentation [doc]
@adangel

Description

@adangel
adangel
opened on May 20, 2020

Part of #1139

It does not make sense to have a page for three sentences.

Also verify the content of the "Tools / Integration".

Metadata

Metadata

Assignees

No one assigned

    Labels

    an:enhancementAn improvement on existing features / rulesin:documentationAffects the documentation [doc]

    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