3 commits

Author	SHA1	Message	Date
max.mehl	ad9bc5976d	copyright: make repository REUSE compliant ... 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	2022-06-13 09:13:00 +02:00
Mark Dodgson	f67b4d37b7	lift: ignore is a deprecated config option, use ignoreRules ... Closes #8082	2021-12-03 22:55:51 +01:00
Thomas M. DuBuisson	33363aeb4d	ci: update Lift config to match requirements of curl build ... Also renamed Muse -> Lift, the new tool name. Closes #7761	2021-09-23 12:57:04 +02:00

Renamed from .muse/config.toml (Browse further)