Deployment: make deployed repo updateable
After the deployment, a repo deployed earlier should profit from upstream evolution providing higher value or updated/removed resources. This should not replace, but allow to review the respective status of:
- the user's earlier activity selection (or below),
- the implementation progress/success/completion rate.