Replace CI references to "master" branch to repository refs/remotes/origin/HEAD

[sarayourfriend]

Related discussion: p4TIVU-9rA-p2

@scinos suggested that this would be a way to remove references to any primary branch in many places. This should work as long as we can guarantee that origin is set to this main repository and not a different fork as it might be for local users.

• CircleCI CircleCI: Replace some references to master with origin or origin/HEAD #43941
• GitHub actions GitHub Actions: Replace master references with origin/HEAD #43942
• Deployment scripts
  • Discussion: pMz3w-bEU-p2

[github-actions]

This issue is stale because it has been 180 days with no activity. You can keep the issue open by adding a comment. If you do, please provide additional context and explain why you’d like it to remain open. You can also close the issue yourself — if you do, please add a brief explanation and apply one of relevant issue close labels.