ci: Fix developer_productivity push error#855

phip1611 merged 1 commit intorust-osdev:mainrust-osdev/uefi-rs:mainfrom

nicholasbishop:bishop-nixci-fixnicholasbishop/uefi-rs:bishop-nixci-fixCopy head branch name to clipboard