summaryrefslogtreecommitdiff
path: root/.lift
Commit message (Collapse)AuthorAgeFilesLines
* copyright: make repository REUSE compliantmax.mehl2022-06-132-0/+7
| | | | | | | | | | | Add licensing and copyright information for all files in this repository. This either happens in the file itself as a comment header or in the file `.reuse/dep5`. This commit also adds a Github workflow to check pull requests and adapts copyright.pl to the changes. Closes #8869
* CI: Do not use buildconf. Instead, just use: autoreconf -fiPhilip H2022-03-151-1/+1
| | | | Closes #8596
* lift: ignore is a deprecated config option, use ignoreRulesMark Dodgson2021-12-031-1/+1
| | | | Closes #8082
* ci: update Lift config to match requirements of curl buildThomas M. DuBuisson2021-09-232-0/+7
Also renamed Muse -> Lift, the new tool name. Closes #7761