https://sites.google.com/a/google.com/chromeos/for-team-members/infrastructure/chromeos-admin/push-to-prod?pli=1

Are the docs in the section "Push dependencies to prod" totally outdated?

I started to just remove it/replace with a link to Devserver Management, but realized it might still apply to some git repos.

I'm happy to finish the cleanup, but don't want to delete useful stuff.