Verify that specs don’t leave unpopped stashes
Merge checks for abort and continue scripts
Make GitHub issues the only workflow, remove RDD
Merge branch 'master' into cr-prune