tea-release.1.3.2: Fix userid being `None` for public data

This release fixes an issue introduced in v1.2.0 where the userid for metrics reporting was not being set for public data even if the user was logged in.

What's Changed

• Update docs by @reweeden in #698
• Fix userid none for public data by @reweeden in #700
• PR-4138 Remove Jenkins configuration by @reweeden in #704
• Refactor GitHub Actions by @reweeden in #705

Full Changelog: tea-release.1.3.1...tea-release.1.3.2