Skip to content

Also generate .gitignore files #2

@Tarrasch

Description

@Tarrasch

It would be good if we generated .gitignore files. It serves at least two purposes:

  • It's convenient and nice. I don't need to make my working tree dirty by running the generator. 👍
  • We give a clear best practice on the issue if we recommend users to actually commit the small files like testdata.yaml and grader.py. 👍 Currently I don't know if I should or shouldn't commit the files ...

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions