Skip to content

Recommend adding gh-pages to .gitignore #22

Description

@fingolfin

This should be mentioned in the README. Ideally the setup.sh script would also warn about it; even better: it could check if it is already there, and if not, add it to .gitignore.

Related: gap-system/ReleaseTools#86

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    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