tree 56fbd302ff43979ae5e991e814abf1f841b00ad1
parent d97392fb03a1deacbe655883564530ab856073c1
author ichern <ichern@google.com> 1559843399 -0700
committer Copybara-Service <copybara-worker@google.com> 1559843468 -0700

Treat existence of managed directories as a part of repository dirtiness.

- If managed directory is declared for the external repository and does not exist (probably was deleted by user), make external repository dirty and re-fetch it.
- Add tests to demonstrate the added behavior to ManagedDirectoriesBlackBoxTest.
- Closes #8487.

Closes #8564.

PiperOrigin-RevId: 251882207