Various GitHub Onebox improvements (PR #13163)

The highlight of this PR is the new Onebox for GitHub actions:

GitHub