Add reference implementation of prune_updates
#437
copyright-header.yml
on: pull_request
check-lean-files
11s
prune_updates
#437