Skip push CI for most branches#564

djc merged 2 commits intomainrustls/rustls-ffi:mainfrom

skip-push-cirustls/rustls-ffi:skip-push-ciCopy head branch name to clipboard