Use specific revisions instead of branch names for external git repos.