Function default_push_thread_name 

pub fn default_push_thread_name(requested: Option<&str>, head: &Head) -> String

Default thread name for a push when the user omitted it.

Explicit request wins; otherwise the attached HEAD thread, else "main" for detached HEAD.