Commit Graph

2 Commits

Author SHA1 Message Date
Ondřej Šebek
244c882a80
Move top-level Github/VSCode configuration files (#2037)
* move Mergify, Restyled, Haskell-CI and Pull Request template to `.github`
  * regenerate Haskell-CI file with the new path and new Haskell CI version
* move CSpell from VSCode [Code Spell Checker](https://open-vsx.org/extension/streetsidesoftware/code-spell-checker) extension to `.vscode`

This is a complementary top-level cleanup to #2015.
2024-07-14 15:41:23 +02:00
Brent Yorgey
0bed202e82
Add a pull request template (#1434)
Adds a pull request template with some reminders for anyone opening a pull request.   They are phrased as reminders, not a checklist, since I don't want to make this a barrier to contributions.

Closes #1429.
2023-08-20 19:43:27 +00:00