Learn more about these different git repos.
Other Git URLs
a71378d
[docker] don't try to send emails from docker env Requesting permissions for project or raising legal flag fail in docker environemt because of unsuccessful attempt to send email notification. This change fixes it.