Development record

The cloud report's issue-comment fallback finds the repository by parsing origin's URL strictly as github.com, but a hosted session may clone through a proxy URL, in which case the fallback could never post and a session whose push failed would leave its report only in the transcript