Auto merge of #5163 - flip1995:gha_fix, r=flip1995
Auto merge of #5163 - flip1995:gha_fix, r=flip1995

Change badge branch from master to auto

For some reason GHA classifies the bors merges on the master branch as a
push to the auto branch, even though the workflow got triggered by a
push to the master branch. I guess this has something to do with the
same commit hash on master+auto directly after the merge?

changelog: none

graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust