pub(crate) fn tie_mail(
config: &Config,
files: &[PathBuf],
ties: &mut LocalLinks,
)Expand description
GitHub’s notification mail, tied to its issue’s task, and to that task’s project. Mail about an issue that is not yours makes nothing; nor does a message that only claims to come from GitHub: its signature must say so, as the Porch judges it, or anyone could slip a message into a project.