Git: delete old interfaces that were only used by Pkg1.
Pkg.publish: push METADATA even when there are no new versions.

There may still be other metadata changes that need to be pushed.