summaryrefslogtreecommitdiffstats
path: root/.github
AgeCommit message (Expand)Author
2022-12-28Remove fixup-block, as gitlint does that nowMatthias Beyer
2022-11-08Add flake update workflowMatthias Beyer
2022-11-08Add commit-lint workflowMatthias Beyer
2022-11-08Add CI workflowMatthias Beyer