Closed emil-vdw closed 4 months ago
Add functionality to remove files that have been removed upstream.
Closing as wontfix since we are moving towards #247 and will remove this workflow when merged.
Add functionality to remove files that have been removed upstream.