* [server-pro] tests: add helper for gitURL
* [server-pro] tests: avoid hard-coding URL scheme/origin
* [server-pro] tests: fix typo in query selector
* [server-pro] tests: fix spelling of GitHub
* [server-pro] tests: double down on matching email in body
* [server-pro] tests: speed up session resumption
* [server-pro] tests: use a single project in editor spec
* [server-pro] drop check on started recompile
The labels changed between versions and making it configurable is too
verbose.
GitOrigin-RevId: d1ace3b534f28c65b8e20c808bac12268f26fa4d