is there any existing tooling out there for publishing/syncing a subset of a pants repo as a separate git(hub) repo?